Johannes Schindelin <johannes.schinde...@gmx.de> writes: > Seriously again, I sent a new iteration: > > https://public-inbox.org/git/pull.1.v3.git.gitgitgad...@gmail.com/
Thanks, will take a look but it is likely that I'll run out of time today, so please be a bit patient.