Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CI: fix a test that was broken by pushing v5.0 to GitHub
Make sure it won't happen again by using a predictable file revision.
- Loading branch information