1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index b00b57eaa..9a3cf269b 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-8c7ae38d1ce12a0eaeba655df8562552b3596c7f
+9936328b41ce4bce8f20269dcac8cb476c8d0820