Hi!
I was wondering why my documentation was not showing up on the wiki
although my rosdoc pull requests have been merged and took a look at the
documentation build jobs here:
http://jenkins.willowgarage.com:8080/view/Gdoc/
Turns out it's bleeding heavily. Any idea when the doc build jobs will be
up and running again?

Marcus