Christoph Berg Mon, 02 Jan 2023 12:06:20 -0800
Re: Black Michael > Current github master plus one small patch fixes the compilation.
Hi Michael, I see it has already been merged, thanks! Let's see if they also tag a new release. Otherwise I'll make a temp tarball in a few days. Christoph
