Closed astrojuanlu closed 3 years ago
Several small fixes have been merged since the last release, namely #83, #89, #93, and #94. In particular, I think #89 and #93 are good developer and user experience improvements. Is there a chance to cut a release?
I can try doing a release tomorrow or next week.
Several small fixes have been merged since the last release, namely #83, #89, #93, and #94. In particular, I think #89 and #93 are good developer and user experience improvements. Is there a chance to cut a release?