On Sun, 28 Jul 2019, Hilmar Preuße wrote: > Go ahead!!! Do you mean I should upload it, right?
> BTW: do we still need the experimental branch on github? I keep it normally, then merge master in case I do exp versions prior to release. But it can be recreated, so no strong opinion. 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