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
