1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 072a80859..e5807a824 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-ebb2c2437d8008d46796902ff390653822af6cc4
+820bf5c419e4b85298e5c3001bd1b5be46d60765