Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-04 21:20:23 +01:00
Code Issues Projects Releases Packages Wiki Activity

Fix issue reference in comment.

Browse source
This commit is contained in:
Josh Matthews 2018-11-26 22:39:06 -05:00 • committed by GitHub
parent 59500cdcc7
commit 8c29eeaf8f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
etc/ci/update-wpt-checkout
View file

@ -42,7 +42,7 @@ function unsafe_pull_from_upstream() {
# Update the manifest to include the new changes. # Update the manifest to include the new changes.
./mach update-manifest || return 3 ./mach update-manifest || return 3
# Update the manifest again to reach a fixed state (https://github.com/servo/servo/issues/22235). # Update the manifest again to reach a fixed state (https://github.com/servo/servo/issues/22275).
./mach update-manifest || return 4 ./mach update-manifest || return 4
# Amend the existing commit with the new changes from updating the manifest. # Amend the existing commit with the new changes from updating the manifest.