Merge branch 'master' into 0.11
[platform/upstream/gstreamer.git] / tools / BUGS
1 gst-launch should not crash with bad options