--- a/svghmi/svghmi.js Fri Nov 04 10:56:18 2022 +0100
+++ b/svghmi/svghmi.js Tue Nov 08 11:00:42 2022 +0100
@@ -621,9 +621,6 @@
}, 3600000);
}
- // forget subscriptions remotely
- send_reset();
-
// forget earlier subscriptions locally
reset_subscription_periods();