1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 5febd139d..170bd005d 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-738d2902773e30939a982c8df7a7f94293659810
+bed723519a72c0f68fbfaf68ed5bf55d04e46566