Kevin Boos
Kevin Boos
`spin` patch was removed in #719
> The following lints are solved now: Thanks, I checked 'em off!
Updated as of #795.
Updated as of #798.
Updated as of #805 and #806.
Updated as of #812 and #818
Updated as of #819
Thanks to all that helped with this issue!
Which ones? The full batch of lints previously listed in `lints.txt` have been addressed or ignored where suitable. so I assume you mean un-allowing certain lints?
ah, interesting. So some of the lints were configured as warnings while others were errors... seemingly the same lint just in different code bases (?). I think we can open...