Argh indeed, forgot about that one already -- I even looked at that before, it's tracked here: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=983751
But you knew that as well, in comment #4 -- So I hope this didn't take too much time to track down. Merci beaucoup !
Argh indeed, forgot about that one already -- I even looked at that before, it's tracked here: https:/ /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 983751
But you knew that as well, in comment #4 -- So I hope this didn't take too much time to track down. Merci beaucoup !