>>>>> Jari Aalto writes:
> 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
> "Dr. Volker Zell" <[EMAIL PROTECTED]> writes:
>> When building from source with ./splint-3.1.1-2.sh all
>> I do not get the same package contents as you.
> I repackaged 3.1.1, could you try again
GTG now.
> Jari
Ciao
Volker
