Closed boisgera closed 4 years ago
non-reproducible on travis CI
OK, was a recent texlive (2019) distro I was using. Let's not do that ever again ...
non-reproducible on travis CI