hotfix: previous change still yields a broken release. So going back to manually editing the version number. We will fix the release process shortly#283

Merged

giovanni-guidini merged 1 commit intomainfrom release/0.3.6

Oct 5, 2023

+2-10

Commits on Oct 5, 2023

hotfix: previous change still yields a broken release. So going back to manually editing the version number. We will fix the release process shortly
giovanni-guidini
committed