Patch some things in devtools
·
515 commits
to master
since this release
This removes all error calculations from timings, allows you to print names, and makes passing cache vectors more robust.