1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index f8a9a4317..eaa1a1d57 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-3b1e342be265f7df915c68c7c6e450956d8865aa
+ba7b2387ad239a519041f2a2d35a1902bdd03dfb