Bruno Haible Tue, 18 Sep 2018 13:46:00 -0700
Hi Paul, > I assume you meant "is very rarely tested" and installed a patch to that > effect.
Yes, thanks. Bruno