* IOhannes m zmoelnig <[email protected]> [2019-03-07 09:57]: > On 07.03.19 09:47, Christof Ressi wrote: > >> It annoys me more often than I find it useful and would have prefered to > >> have it as an opt-in feature > > > > Me too! > > > > how about creating a ticket on [1]? Done! Thanks IO! https://github.com/pure-data/pure-data/issues/568
_______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
