1 files changed, 1 insertions, 1 deletions

diff --git a/gitrev b/gitrev
index 5b52e55e7..3560dc23f 100644
--- a/gitrev
+++ b/gitrev
@@ -1 +1 @@
-a24e3d414e59ac76566dedcad1ed1d319a93ec14
+c130423620331a104492bbbcc49f25125e26a21a