Hi Andreas!
> Seeing that the recent Github Actions report "Segmentation fault (core Thanks for looking into this. I just returned from a skiing holiday and working through the backlog, that was on my list. Best regards Norbert -- PREINING Norbert https://www.preining.info arXiv / Cornell University + IFMGA Guide + TU Wien + TeX Live GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13
