Comment 104 for bug 1286552

As a further note, the script by aztecjoe works around the issue just fine.

I would recommend delivering it via an updated network manager package and not waiting for network manager to have the issue fixed. If and when the issue is fixed in network manager, the redundant restart should not be a big issue.