jsmestad opened this issue 3 years ago · 1 comments
I think the release branch was forgotten when pushing the recent 0.10.13 release.
release
Thanks for the report! It was a CI issue. The branch is updated now.