Merge branch 'dev' into 'main'

Typo fix

See merge request illegitimate/illegitimate-bot!4
This commit is contained in:
2023-08-06 19:37:56 +00:00