1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index e9a33cac9..336279529 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-df48ab3c2f5ffca88b7803ffbadd074bd5a0a2ef
+388f7b1d6e8ca06762e2454d28d6c3c55ad0fe95