Aly Graham - 9 hours ago

Hi orz — I submitted ticket #24 (the checkpoint/resume contribution + Gap16 fix) but made a copy-paste error in the title: it's missing the first letter ("heckpoint" instead of "Checkpoint"), and I only thought to add "and fixed" after I'd already submitted it. I don't have edit permission on my own ticket. Could you update the summary to:

"Checkpoint/Resume for long stdin-driven runs (offered as a contribution, not a bug, sorry!), also one real Gap16 state-restore bug found and fixed along the way"

I already posted a correction comment on the ticket with the same corrected text, in case that's easier to copy from. Thanks — Aly Graham