On Fri, May 11, 2018 at 06:58:35PM +0200, Jaromír Dole?ek wrote: > Perhaps it would make sense to commit the unfinished work anyway, in > case somebody else wants to pick it up? It will be a while before I'd > be able to get back to it. Yes, please! Martin