Gildas e5ebf574ca added "remove alternative fonts to woff" option %!s(int64=7) %!d(string=hai) anos
..
options.js e5ebf574ca added "remove alternative fonts to woff" option %!s(int64=7) %!d(string=hai) anos
ui.js b3895ff4a5 ignore badge refreshing errors %!s(int64=7) %!d(string=hai) anos