Guillem Jover <guillem@debian.org> writes: > The attached patch fixes all relevant references to the Debian > distribution (or system) by removing references to the particular > GNU/Linux system. > I've left two references to Debian GNU/Linux as they are historical. Thanks, applied. -- Russ Allbery (rra@debian.org) <http://www.eyrie.org/~eagle/>