Update Objective-Git to fix the packaging script

tiennou · tiennou · commit 8d20dad65cd6 · 2019-01-28T17:59:56.000+01:00
diff --git a/External/objective-git b/External/objective-git
@@ -1 +1 @@
-Subproject commit 15d56e7c4ac641fceaa50e76ce09ff0bc83aed03
+Subproject commit 972d96c310399ea1d10350522b2ccaa5f5fef228
