I just made the changes you suggested. I did *not* change the name of the file (it is still 10NetworkManager). I rebooted and so far so good. However, as the problem is sporadic, I'll post an update in a couple days to say whether the problem comes back.
I just made the changes you suggested. I did *not* change the name of the file (it is still 10NetworkManager). I rebooted and so far so good. However, as the problem is sporadic, I'll post an update in a couple days to say whether the problem comes back.