Ludovic Courtès writes: > Mark H Weaver skribis: > >> I could simply push the revised commits to 'core-updates' directly. > > That sounds good me, please do! Done. I'm closing this bug now, but feel free to reopen if there are remaining issues that I've overlooked. Thanks! Mark