1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index ad99c1c74..55c2d627c 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-55aac6ef53e114c28170ee3f79065cfa8ca9cf3f
+3d88460dbd285e7f32437b530d5bb7cb916142fa