Am 2023-06-27 14:49, schrieb Simon McVittie: > As a non-maintainer I didn't want to be the one to suggest that I just filed #1039568: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1039568 Thanks for the wake up call. ;) - Fabian