1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index dfcc6c8c5..c2a260063 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-4f2ba5dc183b71362c3655b50c72f1b10ccac1c1
+3a99df9a3d14cd866b5516f8cba515a3bfd554ab