2 Commits

Author	SHA1	Message	Date
Brian Warner	c5415495c0	dump-timing: store server-sent time too ... Adjust dump-timing to ignore the extra data, for now. Also do some general instrumentation cleanup.	2016-03-03 18:03:27 -08:00
Brian Warner	84749dd8b3	add misc/dump-timing.py too, to visualize the timeline	2016-03-01 18:23:19 -08:00