Closed fchapoton closed 4 months ago
Thank you for the contribution, it is useful for us. We are very happy to eliminate errors in our documentation and code comments.
These commits have passed continuous integration tests on our private repo. Thanks!
please tell me if this is useful