[splint-discuss] Releasing 3.1.2

[David Evans]

Hi Andy,

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.

Thanks for the prodding, I should have done this a long time ago...

--- Dave

Andy Lester wrote:
> What would it take to get the CVS version of Splint released as 3.1.2?  
> It fixes a number of bugs that I've run into as we use it on the Parrot 
> project (http://parrotcode.org/).  I'm using the CVS version from my own 
> build, but I'd like the others on the project to not have to build their 
> own.
> 
> Thanks,
> xoxo,
> Andy
> 
> -- 
> Andy Lester => andy at petdance.com => www.petdance.com => AIM:petdance
> 
> 
> 
> 
> _______________________________________________
> splint-discuss mailing list
> splint-discuss at ares.cs.Virginia.EDU
> http://www.cs.Virginia.EDU/mailman-2.1.5/listinfo/splint-discuss