Merge pull request #523 from dgrisonnet/cut-release-0.10

Cut release 0.10.0
This commit is contained in:
Damien Grisonnet 2022-08-12 17:52:11 +02:00 committed by GitHub
commit 7b4ba08b5d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1 +1 @@
0.9.1
0.10.0