Closed christophebedard closed 1 month ago
Changes only in the documentation. I don't think that we need to run CI.
I'll let anyone who has the necessary permissions merge this.
https://github.com/Mergifyio backport jazzy
backport jazzy