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 <
[email protected]> escreveu:

> Em sex., 14 de out. de 2022 às 01:21, Alexandre Torres Porres <
> [email protected]> 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
>
>>
_______________________________________________
Pd-dev mailing list
[email protected]
https://lists.puredata.info/listinfo/pd-dev

Reply via email to