Wed, 15 Feb 2017 13:38:00 -0800 Simon Farnsworth ui: give editor() a tag of its own
Wed, 15 Feb 2017 13:29:12 -0800 Simon Farnsworth ui: time calls to ui.system
Wed, 15 Feb 2017 13:50:06 -0800 Simon Farnsworth ui: log time spent blocked on stdio
Wed, 15 Feb 2017 13:07:26 -0800 Simon Farnsworth contrib: add a write microbenchmark to perf.py
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 tip