this should be fixed since network-manager 0.6.5-0ubuntu12 which stopped to manage interfaces managed by ifupdown.
this should be fixed since network-manager 0.6.5-0ubuntu12 which stopped to manage interfaces managed by ifupdown.