Changes pushed with changeset 6908703230614a0a91a53ab971eeac746463a8ce
User
Push date [To Local]
ChangesetPatch author — Commit message
luca.greco@alcacoop.it
Thu Apr 05 12:58:40 2018 +0000
6908703230614a0a91a53ab971eeac746463a8ceLuca Greco — Bug 1394750 - Allow the webextension devtools_page to be disabled separately from the entire extension.