#135 Fix cloning git repos
Merged by . Opened by pingou.
fix_clone  into  master

Download 135.patch
no initial comment

Looks good to me. :+1:

Metadata