Re: [9fans] RESOLVED: recoving important header file rudely clobbered by mk

[Steve Simon]

yep, dump is great.

sadly there is a bug in fossil that makes it unreliable
if snapshots ar enabled - it locks up once a month or so,
dumps work fine though.

free beer to the first person to find the fossil deadlock...

-Steve