Jari Aalto wrote:
OK. Splint version 3.1.1-1 already is available via setup. Is something missingMark 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
from version 3.1.1-1 that would be added in 3.1.1-2?
