1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 2e995eca8..edc1a333c 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-77e5bdf9f7b2d20939c8d807f3e68778d6e1557a
+4cea8776571b18db7485930cb422faa739580c8c