[LLVMdev] SAFECode Mailing Lists

[John Criswell]

Dear All,

The URLs for the page in which to subscribe to these lists are below:

sva-commits: http://lists.cs.uiuc.edu/mailman/listinfo/sva-commits
svadev: http://lists.cs.uiuc.edu/mailman/listinfo/svadev

-- John T.


John Criswell wrote:
> Dear All,
>
> We now have two new mailing lists for SAFECode:
>
> 1) svadev: This mailing list is for discussion on SAFECode.  Questions 
> and comments about using SAFECode as well as development conversation on 
> SAFECode can go here.
>
> 2) sva-commits: This mailing list gets email for all SVN commits made to 
> SAFECode.
>
> -- John T.
>
>
>