Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #18795 - servo:jdm-patch-2, r=nox
Make update_manifest.sh more verbose. This is an attempt to figure out why #17450 occurs. <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/18795) <!-- Reviewable:end -->
- Loading branch information