1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index a6c1300b8..19f4cd4f7 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-33e17876ea4edcd7f5c01efa78e8d02889261abf
+0519359784328bfa92bf0931bf0cff3b58c16932