Jari Aalto wrote:
Mark Harig <[EMAIL PROTECTED]> writes:
In case you were not aware,  splint 3.1.2 has been released
(www.splint.org).

I took a look at it and there are some issues that need to be resolved


OK. Splint version 3.1.1-1 already is available via setup. Is something missing
from version 3.1.1-1 that would be added in 3.1.1-2?

Reply via email to