1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index a8fc1782a..420409e85 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-4c5e8fc62d6a63065eeae80808c498d1dcfea4f4
+ba4dbdedd3edc2798659bcd8b1a184ea8bdd04dc