Re: [ros-users] request for help: mirroring and better wiki …

On Fri, Nov 18, 2011 at 11:50 AM, Benjamin Cohen <bencohen2@gmail.com> wrote:
> The ROS docs part of the penn mirror is now setup and the script is still
> downloading the docs api part of the wiki. It should be done in a couple of
> hours.
>
> Our mirror can be found at www.pennros.org.
>
> I updated the mirrors page (http://www.ros.org/wiki/Mirrors) accordingly.

Fantastic, thanks!

    brian.