Ludovic Courtès <l...@gnu.org> writes: > Mark H Weaver <m...@netris.org> 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
