Closed lcreid closed 3 weeks ago
Please review the changes in the files in this commit carefully, as they were automatically generated during CI. Run git pull to bring the changes into your local branch. Then, if you do not want the changes, run git revert HEAD.
git pull
git revert HEAD
Please review the changes in the files in this commit carefully, as they were automatically generated during CI. Run
git pull
to bring the changes into your local branch. Then, if you do not want the changes, rungit revert HEAD
.