1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 98215dadd..3a3857a67 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-6ffeba9607343f15303a399bc402a538800d89d9
+2255702db4014d1c69d6037ed7bdad2d2e271985