Ludovic Courtès <[email protected]> writes: > Mark H Weaver <[email protected]> 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
