Hi Norbert, On Tue, Oct 6, 2020 at 12:41 AM Norbert Preining <norbert at preining.info> wrote: > > Ok, fixed in the repo, will be in the next release of tlmgr we push out. > Was a single line of code missing. Thanks for the quick fix! Best, Phelype