Tim Ruffing 981e5be38c ci: Fix typo in comment

2023-07-06 20:19:07 +02:00

..

cirrus.sh

ci: Drop manual checkout of merge commit

2023-07-01 13:01:57 +02:00

linux-debian.Dockerfile

ci: Fix typo in comment

2023-07-06 20:19:07 +02:00