1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 79b4771cb..cd03a3884 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-e525de3ab04621d227330aa82cd4073c0b0f3579
+1388c80438e69fc01d83fbe98da3cac24c3c8731