the issue was, that the ifupdown plugin may or may not be part of the GNOME project, I was not sure. upstream of ubuntu is debian then GNOME. I checked the GNOME code now, and you are right, this is the place to report these kinds of "cleanup issues".
the issue was, that the ifupdown plugin may or may not be part of the GNOME project, I was not sure. upstream of ubuntu is debian then GNOME. I checked the GNOME code now, and you are right, this is the place to report these kinds of "cleanup issues".