|
From: Norbert P. <no...@pr...> - 2022-11-07 23:06:54
|
Hi Oswald, > cherry-picking b6c36624 from master should do. Thanks a lot, confirmed that this works. All the best Norbert -- PREINING Norbert https://www.preining.info Mercari Inc. + IFMGA Guide + TU Wien + TeX Live GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13 |