Add history spill, op replay and node-scoped history filtering#348

johannesmutter wants to merge 1 commit into

op-engine/3-ingestmichael/svedit:op-engine/3-ingestfrom

op-engine/4-historymichael/svedit:op-engine/4-historyCopy head branch name to clipboard