Note that my documentation branch also has some new last commits for the release as well. I don't have anything else in the horizon now to add here. https://github.com/pure-data/pure-data/pull/1770

Em seg., 17 de out. de 2022 às 17:51, Alexandre Torres Porres <porres@gmail.com> escreveu:

Em sex., 14 de out. de 2022 às 01:21, Alexandre Torres Porres <porres@gmail.com> escreveu:
I got a couple of simple PRs labeled as bug fixes sitting there
- https://github.com/pure-data/pure-data/pull/1683
- https://github.com/pure-data/pure-data/pull/1618

Both above had conflicts that I have now resolved so they're ready to merge. Would you consider merging them now Miller?

Thanks