1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 37d3ed9b0..789b40646 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-32c1431eea4881a6b17bd7c639315010aeefa452
+a090bd4ff8387c409732a8e059fbf264ea0bdd56