Fix a lint issue (#475)

This commit is contained in:
Kyu
2022-05-12 16:49:10 -07:00
committed by GitHub
parent 87308e7693
commit 75e6654884