On Feb 6, 2018, at 10:53 AM, Roman Haefeli <reduzent@gmail.com> wrote:

Hey

On Fre, 2018-02-02 at 15:10 +0100, Dan Wilcox wrote:

And fixed: https://github.com/pure-data/pure-data/pull/301

Please build and test.

Sorry, I only noticed now that you already fixed it. Looks good to me.
Many thanks!

Roman