20 Jul
2020
20 Jul
'20
10:34 p.m.
Em dom., 19 de jul. de 2020 às 22:00, Alexandre Torres Porres < porres@gmail.com> escreveu:
yes and I think it's been reported on github somewhere and maybe there's a fix already
no fix, but here's the issue https://github.com/pure-data/pure-data/issues/402