browser/1.7.2

Kai Uwe Broulik

@broulik

ada02572 · Bump manifest version · Jan 13, 2020

Browser 1.7.2

* Minor bug fixes
* Follow-up update for release in Opera Add-on store