Yes, this has already been reported at: https://github.com/pure-data/pure-data/issues/1045
and a fix is proposed in: https://github.com/pure-data/pure-data/pull/965
_______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
