Em ter., 23 de nov. de 2021 às 17:42, Christof Ressi <[email protected]> escreveu:
> This is indeed fixed in IEM GUIs, but not in *gatom* labels. > hmmm, I see, not a regression (same happened in 0.51-4), but definitely some worth fixing as long as we're at it. Now $0-x becoming #0-x is a regression. Well, I put it all into an issue: https://github.com/pure-data/pure-data/issues/1476
_______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
