From 3f24721c7619d42c3cb272ab3e86c4facf6f752d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Mon, 18 May 2020 10:50:57 +0000
Subject: [PATCH] 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 4e2ae30a4733cd6dc4786465a0b2d409b2c99b32)
---
 js/ui/dateMenu.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/js/ui/dateMenu.js b/js/ui/dateMenu.js
index 2dfdd374f..7fc7c3828 100644
--- a/js/ui/dateMenu.js
+++ b/js/ui/dateMenu.js
@@ -481,7 +481,6 @@ class MessagesIndicator extends St.Icon {
 
         this._sources = [];
         this._count = 0;
-        this._doNotDisturb = false;
 
         this._settings = new Gio.Settings({
             schema_id: 'org.gnome.desktop.notifications',