Hi Rob, I saw the bug closed (via mail on -devel) and personally thought it shouldn't have been. However when considering next steps my advice would be to leave bugs alone for a short while and let things cool off.
It's important and useful to file bugs, but that in and of itself doesn't solve problems - they just track problems. My advice, if you have spare time to spend on trying to get this problem solved, would be to think beyond the bug filing, and try to figure out which packages need to be modified in order to solve the problem. -- Jonathan Dowland -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20140922090702.GA8355@debian
