@Veron, yes, I'm sorry if it seemed I was critical of your help, my "Shoot the messenger" was aimed at @Reinhart who didn't bother yet (?) in 2011 to patch it.
Your link to https://trac.ffmpeg.org/ticket/7211 is interesting. They make a good point, hide by default will make their job harder. But for every one developer there are how many users? 1,000s? 100,000? So the user experience is paramount. I make that comment as a developer myself, though unfortunately not (yet) for Linux. So if I sound preachy, I'm sorry, but I'm only trying to put across an attitude that I feel obliged to observe myself. My users are much more important than me. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/730159 Title: ffmpeg library configuration mismatch To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/ffmpeg-extra/+bug/730159/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
