Hi!<div>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:</div><div><a href="http://jenkins.willowgarage.com:8080/view/Gdoc/">http://jenkins.willowgarage.com:8080/view/Gdoc/</a></div>
<div>Turns out it's bleeding heavily. Any idea when the doc build jobs will be up and running again?</div><div><br></div><div>Marcus</div>