Kevin Boos

Results 327 comments of 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...