1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 656d96f33..c3fc9b484 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-2595646791c319cadfdbf271563aac97d0843dc7
+0072a0c14d5b7cb72c611d396f143f5dcd73ebe2