1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 54654f6ef..72fb48a24 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-81abf2525827b29839a78fd55ab0699f033c41a5
+a0cba2179ea4c1820fce2ee046b6ed90ecc56196