Luca Greco 9e55b57841 Bug 1388098 - Fix Android options_ui on disable/enable addon. r=mixedpuppy
MozReview-Commit-ID: 4z4vJpDxzGB

--HG--
extra : rebase_source : e4d13535390579538aefa8cae3643fe112cfbd72
2017-08-07 18:54:16 +02:00
..
2017-08-29 16:17:50 -07:00