Get rid of annoying lint warnings from an earlier PR

This commit is contained in:
GCHQDeveloper581 2026-06-21 15:16:06 +00:00
parent 84df3c4fc7
commit bc76c1e1dc
No known key found for this signature in database
GPG Key ID: 6222E059A3DF595C