Updating Users.html

Dear All,

I need to update the entry for Vikram's research group on the LLVM User's page (Users.html). One of the hyperlinks is out of date, and I think there should be a link to the SAFECode/SVA web site.

Can I just go ahead and edit the page directly, or should I submit a patch?

-- John T.

Go ahead and commit it directly. We could really use a maintainer for that part of the web page (and /pubs). If anyone is interested, I have a long list of stuff to add that I keep not getting to.