1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 8d237efc0..0e3b5a1af 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-ebc551f2b8f905eca0e25c476c1e5c098cd92103
+fa3d493f7a573b4e4e2538486e912093a0161c1b