1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 1688acf2b..893ea31c5 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-050cdc6c9501abcd64720b8cc3e7941efee9547d
+3f16503b7d2274ac8cbab11163047ac0b4c66cfe