1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 2408058e0..deea4cc82 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-e93b1cc8a8965da137ffea0b88e5f62fa1d2a9e6
+ba6d973f78eb62ffebb32f6ef3334fc9a3b33d22