mozilla-prefer_plugin_pref.patch
changeset 804 c64eecb7772c
parent 650 e8c83b144fd1