tree 72cbe00dd15922326edabb330c5bb93e079aad15
parent 90040e8b5877646ce111107f63b315a24768ae48
parent 1513db0951e51642fb62b890c903c810a61df010
author setrofim <setrofim@gmail.com> 1505478849 +0100
committer GitHub <noreply@github.com> 1505478849 +0100

Merge pull request #171 from bjackman/instrument-fix-reset

instrument: Clear up Instrument.reset semantics