1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 0aff313d6..e17044e9c 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-e7bdea7750eb2a64aea4a08fa5c0a31719c8155d
+1a0a02d1efa066001fd315c1b4df583d939fa2c4