Changes pushed with changeset 6488183a3de3b2a09991342a9f283f9924cdb06d
User
Push date [To Local]
ChangesetPatch author — Commit message
msreckovic@mozilla.com
Fri Jul 15 21:58:39 2016 +0000
6488183a3de3b2a09991342a9f283f9924cdb06dMilan Sreckovic — Bug 1287215: Replace preferences gDirty global with a callback. r?gijskruitbosch+bugs