In the meantime there is a workaround, which is to open a terminal and type:
sudo service network-manager restart