Actually, I found an even simpler work-around: just after resume, I just have to do "sudo killall NetworkManager", and my network comes back. So I guess the bug is definitely in NetworkManager.
Actually, I found an even simpler work-around: just after resume, I just have to do "sudo killall NetworkManager", and my network comes back. So I guess the bug is definitely in NetworkManager.