piranha/osgameclones — pull request #5 by lluchs (2013-05-27 20:13:48+00:00)
Title: Update OpenClonk repository URL

They switched to git recently.