On 2016-07-10 12:36, Holger Wansing wrote: > Am Sa. Juli 9 12:57:34 2016 GMT+0200 schrieb W. Martin Borgert: > > I would do, but probably not before the 20th of this month. > > That would be perfectly fine for me. Sorry, I slacked 10 days already. One question to Holger and the -doc team: Would it be OK, if I move the package source to a git repository, e.g. collab-maint? If yes, I would do this change first. Cheers