1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 1b6456d1e..ad6615e08 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-c11fb13a117e5a6736481c779cb971249ed96016
+72a20cee5d99d231809ee4d3d2c09a96a25451e2