Major changes in 42.1.1
=========================
* Revert wrongly introduced dependency on unstable gnome-desktop. (António Fernandes)

