diff --git a/rts b/rts index 7731cf2..3b012a8 160000 --- a/rts +++ b/rts @@ -1 +1 @@ -Subproject commit 7731cf246c65fa7c936fe89618a0701405f7382c +Subproject commit 3b012a8086d550433188cebbf95746d2455f0b6f -- libgit2 0.21.4