Skip to content

Commit

Permalink
Fix issue reference in comment.
Browse files Browse the repository at this point in the history
  • Loading branch information
jdm committed Nov 27, 2018
1 parent 59500cd commit 8c29eea
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion etc/ci/update-wpt-checkout
Expand Up @@ -42,7 +42,7 @@ function unsafe_pull_from_upstream() {

# Update the manifest to include the new changes.
./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

# Amend the existing commit with the new changes from updating the manifest.
Expand Down

0 comments on commit 8c29eea

Please sign in to comment.