Hello, Only patch one on debian/update-grub is for debian, all others are going to be submitted upstream.
Regards. -- Daniel Dehennin Récupérer ma clef GPG: gpg --keyserver pgp.mit.edu --recv-keys 0x6A2540D1
pgpQVJ2UoJ5pa.pgp
Description: PGP signature
