17 Oct
2022
17 Oct
'22
10:53 p.m.
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
Both above had conflicts that I have now resolved so they're ready to merge. Would you consider merging them now Miller?
Thanks