1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 8c9d4b25f..26b92dda7 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-83a50840e72a5a964b4704fcdc2fbb2d771015ab
+f2bc9c908dfe3f56fe4ca4d92e5c5be80963b973