Em seg., 6 de mai. de 2024 às 22:03, Alexandre Torres Porres <porres@gmail.com> escreveu:
Taking https://github.com/pure-data/pure-data/pull/2289 of course could also be a good last minute request by the way

oops, that'd actually be https://github.com/pure-data/pure-data/pull/2293 now