i see in http://bugs.debian.org/520576 that we now have a privext option in /etc/network/interfaces.
however, it's not documented in interfaces(5). Could you add a line or two about that option so people can find it? thanks, --dkg -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org