Closed
Bug 1378953
Opened 8 years ago
Closed 8 years ago
Always use unordered_set in DrawEventRecorder.
Categories
(Core :: Graphics, enhancement)
Core
Graphics
Tracking
()
RESOLVED
FIXED
mozilla56
| Tracking | Status | |
|---|---|---|
| firefox56 | --- | fixed |
People
(Reporter: jrmuizel, Assigned: jrmuizel)
Details
Attachments
(1 file)
|
1.93 KB,
patch
|
lsalzman
:
review+
|
Details | Diff | Splinter Review |
We always have unordered_set now, and it's closer to what we want.
|
Assignee | |
Comment 1•8 years ago
|
||
|
|
Assignee | |
Updated•8 years ago
|
Attachment #8884045 -
Flags: review?(lsalzman)
|
||
Comment 2•8 years ago
|
||
Comment on attachment 8884045 [details] [diff] [review]
Always use unordered_set in DrawEventRecorder. r=lsalzman
This is safe now since landing of bug 1350262, so all good.
Attachment #8884045 -
Flags: review?(lsalzman) → review+
Pushed by jmuizelaar@mozilla.com:
https://hg.mozilla.org/integration/mozilla-inbound/rev/9392d5636ebf
Always use unordered_set in DrawEventRecorder. r=lsalzman
|
||
Comment 4•8 years ago
|
||
| bugherder | ||
Status: NEW → RESOLVED
Closed: 8 years ago
status-firefox56:
--- → fixed
Resolution: --- → FIXED
Target Milestone: --- → mozilla56
|
||
Updated•7 years ago
|
Assignee: nobody → jmuizelaar
You need to log in
before you can comment on or make changes to this bug.
Description
•