Change suggested by CI

This commit is contained in:
Jan-Philipp Benecke 2024-06-13 23:47:26 +02:00
parent 600cd40439
commit ebecee7bd8
No known key found for this signature in database