On Sun, 09 May 2021 13:57:25 +0200, Marc Espie wrote: > I'm pretty sure splint is dead. > > we're talking about a year of breakage with no-one giving a fuck.
I've made a PR to fix this upstream, we'll see if anyone is there... https://github.com/splintchecker/splint/pull/26 - todd
