On 21 May 2015 at 12:25, Ludovic Courtès <l...@gnu.org> wrote: > Perhaps you could cherry-pick these changes in ‘core-updates’ and then > rebase ‘wip-hurd’ on top of it? WDYT?
That's sound like a good idea. Will push those two to core-updates, rebase wip-hurd on top of core-updates and push the new wip-hurd. Manolis
