Svadev mailing list

[John Criswell <criswell AT illinois.edu>]

On 11/15/12 2:54 PM, John Criswell wrote:
> On 11/15/12 9:38 AM, John Criswell wrote:
> > Dear All,
>
> I realized earlier today that not all of the changes from mainline 
> Clang were merged into SAFECode before the creation of the release_32 
> branch.
>
> Therefore, I'll be deleting the release_32 branch, merging in the 
> proper changes into SAFECode clang, and re-creating the release_32 
> branch.
>
> I'll send email when this is done.

I think I've got the release_32 branch set up properly.  Please go ahead 
and start using the release_32 branch of SAFECode.

-- John T.

> -- John T.
>
> _______________________________________________
> svadev mailing list
> svadev AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/svadev