Closed this issue 2 years ago · 1 comments
The CI tags are being GCed, so once the 1.13.0-rc2 tag is available we should use it. See #1
1.13.0-rc2 is out, and I've updated the repo to use that, which also means we can remove the submodule:
027935e