tree 3cc6b22950c68d6eee903a6251e68b43f0f01826
parent 70f8a109422c020138fc5558d3f319d5fa99cc2b
author Ed Willink <ed@willink.me.uk> 1471431451 +0100
committer Ed Willink <ed@willink.me.uk> 1471699827 +0100

[499816] Indicate "validating" Operation in prettyprint/hovertext