[splint-discuss] Releasing 3.1.2

[SF Markus Elfring]

> I've updated the source code distribution to 3.1.2 (which is posted 
> now on splint.org), to incorporate the latest CVS version (with a few 
> more minor fixes).  The CVS code and source code distribution are now 
> the same.

How many developers care to resolve the open issues 
(http://splint.org/bugs.html) in the software?
Can its internal design be improved so that more participation would be 
possible by other interested programmers?

Regards,
Markus