On Thu, 30 Apr 2020 17:37:59 +0200 Axel Gerber <a.ger...@axel-gerber.de> wrote:
> I wonder this got reported to github as the official bug tracker and > finally the issue got found/solved... I don't see any closed, or open, issues related to this on GitHub. The developers have been hard at work over the last few days and I know that they have a (partial?) test-suite. So it might be that they found out themselves. -- Public key fingerprint: 840F 4077 8511 998C ADF3 909A 5AD3 5FC4 1271 1B0E Short key ID: 1271 1B0E (gpg --keyserver keys.gnupg.net --recv-key 12711B0E)
pgp0d4hDg_47Z.pgp
Description: OpenPGP digital signature
