1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 67b1b7400..6051de6ff 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-8b5d11e4b095450e2f259d5f60ea18c13d2fe0a2
+d3b5d35290d729a2518af00feca867385a1b08fa