-
Florian Müllner authored
The new notifications are quite a bit more persistent than the old ones, so to avoid piling up old notifications, withdraw them once the corresponding message has been read.
d7105ea2
The new notifications are quite a bit more persistent than the old ones, so to avoid piling up old notifications, withdraw them once the corresponding message has been read.