1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 24ac42a3f..3554b018d 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-6f0d349d922ba44e4348a17a78ea51b7135965b1
+813835028e9ae1f18cd11bb0ec591d0f0577d96a