1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index eaf66168e..e00d4ecbc 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-919dce24701f7b34681a6a1d3ef95c9f6c4fb1cc
+bef7b2a7be28638770972ab2709adf11d601c11a