Thomas Lange <la...@cs.uni-koeln.de> wrote: > I wonder if this bug is still valid?
The discrepancies spotted by Paul in <https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=442083#30> are still there, so this is valid. Just apply the patch and see how it goes? Holger -- Sent from /e/ OS on Fairphone3
