<div dir="auto">Yes, this has already been reported at:<div dir="auto"><a href="https://github.com/pure-data/pure-data/issues/1045">https://github.com/pure-data/pure-data/issues/1045</a></div><div dir="auto"><br><div dir="auto">and a fix is proposed in: <a href="https://github.com/pure-data/pure-data/pull/965">https://github.com/pure-data/pure-data/pull/965</a></div><div dir="auto"><br></div></div></div>