Re: Splint upgrade released

2007-07-13 Thread Mark Glines
On Fri, 13 Jul 2007 23:39:06 -0500 Andy Lester <[EMAIL PROTECTED]> wrote: > All you splint users, go get the new download. > > http://splint.org/download.html > > Rock on, splinters! Thanks, Andy! I'm already bugging the Gentoo folks to version-bump their package. There's an ebuild attached to

Splint upgrade released

2007-07-13 Thread Andy Lester
All you splint users, go get the new download. http://splint.org/download.html Rock on, splinters! Begin forwarded message: From: David Evans <[EMAIL PROTECTED]> Date: July 13, 2007 5:50:24 PM CDT To: [EMAIL PROTECTED] Cc: [EMAIL PROTECTED] Subject: Re: [splint-discuss] Releasing 3.1.2 Hi An