fix for a linting issue

This commit is contained in:
Nicolas Vannieuwkerke 2022-04-28 14:29:37 +02:00
parent 8c98a78d2a
commit bf18604471