1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index e7d2b43d7..d6947ca8a 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-ad5e427e0f6b702e52c11d1f7b2b7be3bac7de82
+bed38c3e2dca01b358a62b5e73b46e875742fd75