Closed hanzei closed 4 years ago
There where a lot of valuable bug fixes since the last release. Should we cut a new version?
Dependant on the following PRs:
Discussed offline: We should do this.
@jfrerich Do take care of this?
There where a lot of valuable bug fixes since the last release. Should we cut a new version?
Dependant on the following PRs: