fix lint issue that snuck through (#1665)

This commit is contained in:
Wing Lian
2024-05-28 11:36:50 -04:00
committed by GitHub
parent 230e0ac363
commit f5febc729a