Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-10-29 21:25:35 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
63a93959d6
gecko-dev/servo/components/devtools
History
Chiu-Hsiang Hsu 63a93959d6 servo: Merge #13078 - Added using real pipeline ID value (from wdv4758h:pipeline); r=jdm 
Stop using fake pipeline ID value

- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
- [X] These changes fix #13000
- [X] These changes do not require tests because no test for devtools

Source-Repo: https://github.com/servo/servo
Source-Revision: 2b061192e917401843de0bd1ba02232b403578cc
2016-08-27 09:23:13 -05:00
..
actors servo: Merge #12828 - Update serde to 0.8 (fixes #12659) (from nox:serde); r=Ms2ger 2016-08-12 12:23:10 -05:00
actor.rs servo: Merge #12828 - Update serde to 0.8 (fixes #12659) (from nox:serde); r=Ms2ger 2016-08-12 12:23:10 -05:00
Cargo.toml servo: Merge #12828 - Update serde to 0.8 (fixes #12659) (from nox:serde); r=Ms2ger 2016-08-12 12:23:10 -05:00
lib.rs servo: Merge #13078 - Added using real pipeline ID value (from wdv4758h:pipeline); r=jdm 2016-08-27 09:23:13 -05:00
protocol.rs servo: Merge #12828 - Update serde to 0.8 (fixes #12659) (from nox:serde); r=Ms2ger 2016-08-12 12:23:10 -05:00