1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 72fb48a24..ac1b00edc 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-a0cba2179ea4c1820fce2ee046b6ed90ecc56196
+9512c47ec2e4f7e1f28ba66e09de536987a6057f