On Mon, 12 Aug 2019, Hilmar Preuße wrote: > I just noticed that a simply rebuild fixes the issue. I'd do an upload > and fix the watch file at the same time:
Thanks, yes, the rebuild is necessary. Best Norbert -- PREINING Norbert http://www.preining.info Accelia Inc. + IFMGA ProGuide + TU Wien + JAIST + TeX Live + Debian Dev GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13