Fix a lint warning.

This commit is contained in:
Andrea Dell'Amico 2023-05-26 19:59:49 +02:00
parent c033608ec9
commit 83d5c6c3d3
Signed by: adellam
GPG Key ID: 147ABE6CEB9E20FF
1 changed files with 2 additions and 2 deletions