1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 25e8f69c9..3e73b5d6e 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-623ce3456671ea842c0ebda79c38655c8c04af74
+bfa738cf3dfae2111626650f86135f93c5ff0a22