| User Push date [To Local] | Changeset | Patch author — Commit message |
|---|---|---|
| jwein@mozilla.com Thu Nov 15 23:08:09 2012 +0000 | b1b0fbcbdf3b01f8015b6c3d70706e450c37c1fb | Jared Wein — Bug 805217 - Remove duplicate menuitems when Tools is accessed using the keyboard. r=felipe |