1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 298cfbed8..2f9403b09 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-d81fa669e3de7eb8a631d7d95dac5fbcb2bf9d4e
+0f380715e51f5ff418cfccb4cd0d4fe4c48c3241