> This is most probably the same bug than already reported here: > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=988195
Indeed, looks very similar. Norbert -- PREINING Norbert https://www.preining.info Fujitsu Research + IFMGA Guide + TU Wien + TeX Live + Debian Dev GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13
