Files
gnome-shell/js
Florian Müllner 3f24721c76 dateMenu: Remove unused property
This is a left-over from an earlier iteration where the session's
presence status was used rather than the GSetting.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2796


(cherry picked from commit 4e2ae30a47)
2020-05-18 23:39:55 +00:00
..
2019-11-11 19:25:14 +00:00
2020-05-18 23:39:55 +00:00