Arturo Mejia 804eb0f5ba For issue #8520: Polish Add-on manager UIs		2020-03-31 17:20:20 -04:00
..
org/mozilla	For issue #8520: Polish Add-on manager UIs	2020-03-31 17:20:20 -04:00