mozilla-preferences.patch
branchgtk3
changeset 893 86f72f1e98a4
parent 881 1268ddc9dc16