On Sat, Jun 08, 2024 at 04:09:18AM -0400, Dennis Clarke wrote: > 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.
Yes, good idea.
