Aly Graham

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"...

Correction: I copied the title from a text document. Didn't notice that I missed the initial character. First word in title should be Checkpoint. Also missed stating that the bug was found and fixed. New title is: 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. Not sure why I can't edit my own submission but I am stuck with a bad title. First time user with glitches.

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