Closed
Bug 1518968
Opened 5 years ago
Closed 5 years ago
Add third_party/dav1d to the list of third-party directories
Categories
(Developer Infrastructure :: Lint and Formatting, enhancement)
Developer Infrastructure
Lint and Formatting
Tracking
(firefox66 fixed)
RESOLVED
FIXED
mozilla66
| Tracking | Status | |
|---|---|---|
| firefox66 | --- | fixed |
People
(Reporter: ehsan.akhgari, Assigned: ehsan.akhgari)
Details
Attachments
(1 file)
No description provided.
|
Assignee | |
Comment 1•5 years ago
|
||
|
||
Comment 2•5 years ago
|
||
Shouldn't third_party/ just be in the list of third-party directories?
|
|
Assignee | |
Comment 3•5 years ago
|
||
Yes it should! :-)
|
||
Updated•5 years ago
|
Attachment #9035498 -
Attachment description: Bug 1518968 - Add third_party/dav1d to the list of third-party directories; → Bug 1518968 - Make third_party/* be considered as third-party directories;
Pushed by eakhgari@mozilla.com: https://hg.mozilla.org/integration/autoland/rev/97d522a1e3db Make third_party/* be considered as third-party directories; r=glandium
|
||
Comment 5•5 years ago
|
||
| bugherder | ||
Status: NEW → RESOLVED
Closed: 5 years ago
status-firefox66:
--- → fixed
Resolution: --- → FIXED
Target Milestone: --- → mozilla66
|
||
Updated•2 years ago
|
Product: Firefox Build System → Developer Infrastructure
You need to log in
before you can comment on or make changes to this bug.
Description
•