Fixed a linting issue

This commit is contained in:
Nicolas Vannieuwkerke 2022-05-04 14:05:21 +02:00
parent 37338ecee3
commit 065a5d6a7f
2 changed files with 3 additions and 3 deletions