Fix lint warning (#1631)

This commit is contained in:
Teo Voinea
2022-01-31 10:59:20 -05:00
committed by GitHub
parent 4e6f496e06
commit dab0dba34f