svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

Re: [svadev] Development Switching to release_32 branch

From: John Criswell <criswell AT illinois.edu>
To: svadev AT cs.illinois.edu
Subject: Re: [svadev] Development Switching to release_32 branch
Date: Thu, 15 Nov 2012 14:54:33 -0500
List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev/>
List-id: <svadev.cs.uiuc.edu>

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.

-- John T.

[svadev] Development Switching to release_32 branch, John Criswell, 11/15/2012
- Re: [svadev] Development Switching to release_32 branch, John Criswell, 11/15/2012
  - Re: [svadev] Development Switching to release_32 branch, John Criswell, 11/15/2012