1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 9a8f8d30e..60a84e453 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-2ea659a9ef488125eb46da6eb571de5eae5c43f6
+a95cfad947d5f40cfbf9ad3019575aac1d8ac7a6