Fixed a linting issue

This commit is contained in:
Nicolas Vannieuwkerke 2022-05-04 14:06:42 +02:00
parent 000b8ee2e0
commit 177a7e49f2