On 7/01/19 1:13 PM, luigi scarso wrote: > On Mon, Jan 7, 2019 at 1:12 AM Henri Menke <henrimenke at gmail.com> wrote: > >> >> Yes, that is on trunk. >> > > checking now > You can check the Travis CI build log of the GitHub mirror, but I can also reproduce locally. https://travis-ci.org/TeX-Live/luatex/builds/476121866