On Sun, 14 Aug 2016 18:37:41 -0700, Gregory Szorc wrote:
> # HG changeset patch
> # User Gregory Szorc
> # Date 147172 25200
> # Sun Aug 14 17:51:12 2016 -0700
> # Node ID fd7b55561853e9d5532f3a9265433a7b614f2687
> # Parent 3338d4536f490fca055881b4e3884b28e4e25d22
> profiling: add a cont
# HG changeset patch
# User Gregory Szorc
# Date 147172 25200
# Sun Aug 14 17:51:12 2016 -0700
# Node ID fd7b55561853e9d5532f3a9265433a7b614f2687
# Parent 3338d4536f490fca055881b4e3884b28e4e25d22
profiling: add a context manager that no-ops if profiling isn't enabled
And refactor dispat