On Fri, May 08, 2009 at 09:30:47PM +0200, Samuel Thibault wrote: > > There was no further comment, shall I apply my patch? (attached to this > mail) Please, do! Your solution is unexpecedly simple and elegant. I don't read debian-boot and thats why I didn't react. Anton Zinoviev