Revision 19726080e2d387c8e9d6b25568bab9fc3e89bfa6

Committed on 09/01/2015 8:33 am by André R <ar@ez.no> [GitHub Diff]

Catch curl errors in github scripts