Merge branch 'master' into fix_travis_timeout

pietbrauer · pietbrauer · commit 024669980b0d · 2015-07-22T22:45:17.000+02:00
diff --git a/External/libgit2 b/External/libgit2
@@ -1 +1 @@
-Subproject commit 42156d561723e92ffe597885719aa63abfe0795c
+Subproject commit abbe17ef1ffbc264101808829a3317c1c805df96
