1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 5653df144..fb9bec04f 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-ad0371482b1ed599a0e9f8cce50e8499c7c1497b
+1d2ba7fee28b3a47cca8e8f4f94a22d30b2b3a6f