1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 2f9403b09..7be2dae54 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-0f380715e51f5ff418cfccb4cd0d4fe4c48c3241
+bf2db0b9f5808fa5b78141b68d55ec630bf06313