Christian Sadilek 142104dc86 For #8202: Remove settings if add-on disabled ... - Also fixes the crash described in #8202.		2020-02-07 16:42:54 -05:00
..
mozilla	For #8202: Remove settings if add-on disabled	2020-02-07 16:42:54 -05:00