On Wednesday, September 12, 2012 at 15:09, Raphael Hertzog wrote: > > Right, it looks like we have to enhance plugin_basename() to be aware of the > > two possible locations of plugins. :-| > > I released 3.4.2+dfsg-1 with a fix for this issue. Can you verify whether > the fix works for you?
It seems to work. Thanks! Oskar -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org