1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index fac49463d..743d39b06 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-80f232121b69cc69a31ccb2b38c1665d770b0710
+a2d635decbfa9c1e4ae15cb05b68b2559f7f827c