Hello Andres,
> I'm working on/off on the checkpointer flushing thing, so I don't think
> it makes sense for somebody else to take that over at this point.
Yep.
I still wish you could share your current working version? The last
version sent is from November 11th, and I think someone said that it does
not apply cleanly anymore on head.
--
Fabien.
