1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index dfb32f7a3..2f76adbd3 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-e7d0c41ecc2e372a81741a30894f556afec24315
+3b9f8ed25dbe5f858b1331588929f2a766aef55f