Fix linter issue (#842)
authorJozef Kruszynski <60214390+jozefKruszynski@users.noreply.github.com>
Mon, 14 Aug 2023 23:18:45 +0000 (00:18 +0100)
committerGitHub <noreply@github.com>
Mon, 14 Aug 2023 23:18:45 +0000 (00:18 +0100)

Trivial merge