Why is the upstream bug set to #548114? There's little, if any, relevance.
What is this dns-nameservers entry? As far as I can tell it's not documented in interfaces(5). Is it some made up thing just for the network manager ifupdown plugin? Alex, you realized that approximately zero machines out there actually have this setting in /etc/network/interfaces, right?
Why is the upstream bug set to #548114? There's little, if any, relevance.
What is this dns-nameservers entry? As far as I can tell it's not documented in interfaces(5). Is it some made up thing just for the network manager ifupdown plugin? Alex, you realized that approximately zero machines out there actually have this setting in /etc/network/ interfaces, right?