Implemented with and 2f5622edaf84a15f239c6bdaa483ca3da40b8958 and 2e6a3efd253a986cf177f812d47b64f0e611f1e0.
Group error messages
rugk last edited by rfc2822
When there is an unexpected server error and synchronisation fails (for some times) there are really, really many errors (of the same type).
It would be nice if you could group them, so they are more useful and one does not have to tap “remove all notifications”, which might also remove notification from other apps, one overlooked.