1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index b7007afa9..a88f40595 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-719af93ab78eaaccdb2fa727268da6b477804bfb
+4340fa55298d17049e71c7a34e04647379c269f3