Summary of changes: 25e444f... (temporarily) build --disable-browser-plugin (*) f17a70e... Merge branch 'master' into f16 (*) This commit already existed in another branch; no separate mail sent