1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 1fb6ea905..563f89466 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-e365806ac289457263a133bd32df8df49897f612
+dc972a67cc54585bd83ad811c4e9b6ab3dcd427e