Remove lint silencing comment (#1970)
No longer needed
J
Jack Gerrits committed
f42021fb9b1e04bfecd1b75261231ec5ffac2b9e
Parent: 858cec8
Committed by GitHub <noreply@github.com>
on 3/12/2024, 7:51:03 PM
No longer needed