I'd suggest to open a ticket on GitHub!Remmy: I can help with that if you like.
Sorry, I missed that it's already here: https://github.com/pure-data/pure-data/issues/2170
_______________________________________________ Pd-list@lists.iem.at mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
