Hi, It seems that with the updates that went into testing the bug is now fixed. At least, I was able to load some plugins.
However, because of the end of year vacations, I didn't track *when* it precisely got fixed. Sorry for the lack of precision ! Best, Pierre -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
