Revision 19726080e2d387c8e9d6b25568bab9fc3e89bfa6

Committed on 09/01/2015 8:33 am by André R <[email protected]> [GitHub Diff]

Catch curl errors in github scripts