On Wed, Jul 12, 2023 at 04:02:34PM +0200, Bruno Haible wrote: > Gavin Smith wrote: > > I've made minor changes to the patch as specified in Karl's response below. > > Please can this be applied? > > Thanks for having taken into account both my and Karl's comments. I have > applied your patch. > > Bruno
Thank you!