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

[Samuel Thibault]

Hello,

Ludovic Courtès, le Sat 17 Jul 2010 20:21:55 +0200, a écrit :
> Comments?

Applied after update, thanks!

Samuel