fix: make linters happy (#835)

Missed in !834

Reviewed-on: https://codeberg.org/Codeberg/Documentation/pulls/835
This commit is contained in:
mahlzahn 2026-07-09 20:46:50 +02:00 committed by Robert Wolff
parent 1fb1c234f4
commit c5873b5010