Fix another lint warning.

This commit is contained in:
Mathias Tillman 2022-03-09 17:27:42 +01:00
commit 80ebc9982e