Control: tags -1 fixed-upstream On 2022-10-27 08:32:12 +0200, Hilmar Preuße wrote: > 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?
I've just done that and can confirm that this is fixed. -- Vincent Lefèvre <[email protected]> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
