1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 63eddb767..95136d3bc 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-cc4163daaaa1eb0a4ce0396a7d1da4a47b3e526a
+bc4dee5aa72723632a1f83fd0d3720066c93b433