26 Oct
2020
26 Oct
'20
10:40 p.m.
On Mon, 2020-10-26 at 22:25 +0100, Antoine Rousseau wrote:
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
Cool. Thanks for the heads-up and the fix!
Roman