On 6/3/24 05:03, Patrice Dumas wrote:
On Sun, Jun 02, 2024 at 02:31:11PM -0400, Dennis Clarke wrote:
The patch works !

Thanks for the report!

@Gavin: this could go in 7.1 bugfix release, although with the upcoming
release it may not be needed.


So then, can we expect a trivial rev update to 7.1.1 at the very least?

In the short term I mean.




--
--
Dennis Clarke
RISC-V/SPARC/PPC/ARM/CISC
UNIX and Linux spoken


  • 29 ... Dennis Clarke via Bug reports for the GNU Texinfo documentation system
    • ... Patrice Dumas
      • ... Dennis Clarke via Bug reports for the GNU Texinfo documentation system
        • ... Patrice Dumas
      • ... Dennis Clarke via Bug reports for the GNU Texinfo documentation system
        • ... Patrice Dumas
          • ... Dennis Clarke via Bug reports for the GNU Texinfo documentation system
            • ... Gavin Smith
    • ... Gavin Smith

Reply via email to