1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index cf6b235cd..a6c1300b8 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-815f0ddb346c196018d4d8f8f55c12b83da1de3f
+33e17876ea4edcd7f5c01efa78e8d02889261abf