Hello Wouter & Joost,What is the state of this bug? I don't understand a thing about the underlying problem, but would expect some documentation addition/patch.
Does any of you with enough context have sufficent time to write the relevant text?
*t (going a bit through the release-notes bugs) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org