Trivial commit to unstuck the CI tests

Somehow the git fetch commands failed, but adding another commit on top
of the branch will hopefully solve this.


Former-commit-id: f9ffb9e2