Closed saleml closed 10 months ago
This is a copy of #143 with a few additional modifications, in order to try fixing github continuous integration.
Closing, as the source of CI test failures is found, and changes committed to #143.
This is a copy of #143 with a few additional modifications, in order to try fixing github continuous integration.