1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 94a4b5cbc..0fd60197e 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-fa8410b355251fd30341662a40ac6b22d3e38468
+cad9d20784e9b31f0fa8eb82b4ae5dad633b560d