On Tue, Mar 08, 2016 at 02:56:49PM +0100, Johannes Schauer wrote: > sorry, I don't have time to update my patch right now. I'll be more free after > June. If this bug is still open by then, feel free to ping me again.
This is too good to miss :-) OK. I will commit after: * Add debian/control, debian/changelog * --without-ceve is changed to --old * Documentation has been adjusted to remind people for slowness. I hope this is OK. If a lot of bug report comes-in, we can switch --old as default and add --extensive-check option. Osamu
