[LLVMdev] Web Restart 7:00pm CST

[John Criswell]

Dear All,

I'm planning to restart the web server around 10:00 pm CST.  I'll send
email out to the list 10 minutes before I commence the restart and once
the restart is done.

Thanks for your patience.

-- John Criswell