On 5/24/22 21:34, Paul Gevers wrote:
https://bugs.debian.org/1011268 (but apparently my first assumption was wrong and it's another bug, most likely Simon was right.
Thanks for the link. I was quite puzzled this morning when I saw several removals messages. I guess I should just wait and hope that the removals don't actually happen.
-Timo