Please follow up in #48.
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.