From c5524851f307304c133d6cfbfc7f83160cb3085b Mon Sep 17 00:00:00 2001
From: David Baker <dave@matrix.org>
Date: Tue, 12 Apr 2016 13:22:58 +0100
Subject: [PATCH] Comment future possibility for deleting pushers

---
 src/components/views/settings/Notifications.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/components/views/settings/Notifications.js b/src/components/views/settings/Notifications.js
index 2cd634b2..5f51388f 100644
--- a/src/components/views/settings/Notifications.js
+++ b/src/components/views/settings/Notifications.js
@@ -952,6 +952,8 @@ module.exports = React.createClass({
         } else if (this.state.pushers.length == 0) {
             devicesSection = <div><i>No devices are push notifications</i></div>
         } else {
+            // It would be great to be able to delete pushers from here too,
+            // and this wouldn't be hard to add.
             var rows = [];
             for (var i = 0; i < this.state.pushers.length; ++i) {
                 rows.push(<tr>