Hi Helmut, On Tue, 26 Jan 2021, Helmut Grohne wrote: > annotated <!nocheck>. Please consider applying the attached patch.
graphviz is already gone, added the nocheck, committed to git. Thanks a lot Norbert -- PREINING Norbert https://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