1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index ce57d3512..eb9c027b8 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-b72f711a4efadfaa8a16f9cb708bfe1ce6125906
+40e020c129cfc991e8ab4736d2665351ffd1468d