Changes pushed with changeset 2f98b5143437bd319eadcef427caf1c73afd2e91
User
Push date [To Local]
ChangesetPatch author — Commit message
gszorc@mozilla.com
Wed Dec 12 04:35:34 2018 +0000
2f98b5143437bd319eadcef427caf1c73afd2e91Gregory Szorc — progress: avoid ui.configbool() lookup when progress bar is active default tip