1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 966a97be0..e30bae119 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-1f7a4c73a739a63b3f108d8eda6f947fdc70dd65
+08b5fa819970c318e58ab638f497633c25971813