Closed mergify[bot] closed 2 months ago
I think back then it was not available in the coursier index.
I think back then it was not available in the coursier index.
This is an automatic backport of pull request #887 done by Mergify.