On Sun, May 09, 2021 at 12:01:08PM +0100, Stuart Henderson wrote: > > devel/splint > seems still broken upstream; > https://github.com/splintchecker/splint/issues/20
I'm pretty sure splint is dead. we're talking about a year of breakage with no-one giving a fuck.
