Am 26.10.2022 um 13:35 teilte Vincent Lefevre mit: Hi,
According to https://lists.gnu.org/archive/html/bug-texinfo/2022-10/msg00336.html this is probably an upstream bug, apparently fixed (to be confirmed).
Are you willing to test using latest upstream snapshot yourself? Hilmar -- sigfault
OpenPGP_signature
Description: OpenPGP digital signature
