Is <a href="http://kforge.ros.org">kforge.ros.org</a> down? Can ping it, but no http/https access.<div><br></div><div>Best regards,</div><div>Martin.</div>