No matches were found for subject:"\[Bug 226563\] Re\: network\-manager profiles do not work with manual options in \/etc\/network\/interfaces"