On 30/09/2020 13:55, IOhannes m zmoelnig wrote: > anyhow, this is fixed in PR#953, as alex already pointed out
OK, thanks. m -- matthew brandi | 020 8882 4616 _______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
