1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index d1a6da441..c0a7e17e6 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-10a7e9d849150a2879efc0b04d8a51068c9dd0c5
+d1ce8ceb8ba87034bb3c3a9c9324e77546ba8608