1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 74dcfaa23..b7007afa9 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-6b15d6650c5301ce023d8df0cc3a60b1a76d377e
+719af93ab78eaaccdb2fa727268da6b477804bfb