Florian Müllner f9a7718dda background: Adjust to gnome-desktop API break
gnome-desktop broke API in commit ca5d61cf24, as it didn't *add* a property
as incorrectly stated in the commit message, but *replaced* an existing one.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1457
2019-07-20 12:26:28 +02:00
..
2019-07-12 18:54:49 +00:00
2019-07-05 11:32:31 +00:00
2019-07-05 11:32:31 +00:00
2019-07-05 11:32:31 +00:00
2019-07-05 11:32:31 +00:00
2019-07-05 11:32:31 +00:00
2019-07-05 11:32:31 +00:00
2019-07-05 11:32:31 +00:00
2019-07-05 11:32:31 +00:00