1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index f2a25dfda..8f4debfdd 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-e90665a5d38b17fdbe484a85fbba917a7006522d
+7a308bb3016f57e5be11a677d15b821536419d36