Re: [PATCH 9/9] Remove `serverboot'; fix "make dist" in `mach-defpager'

[Ludovic Courtès]

Hello!

I can confirm that ‘make dist’ works like a charm:

  http://hydra.nixos.org/job/gnu/hurd-master/tarball

The latest tarball can be obtained from:

  http://hydra.nixos.org/job/gnu/hurd-master/tarball/latest

Thanks,
Ludo’.