On Sun, Nov 20, 2011 at 7:50 PM, Piyush <piyushk at gmail.com> wrote: > I got the utexas mirror up at http://www.cs.utexas.edu/ros. I have > also updated the mirrors page. Great, thanks! brian.