[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Take account of splitting option in gendocs.sh
|
From: |
Gavin Smith |
|
Subject: |
Re: Take account of splitting option in gendocs.sh |
|
Date: |
Sat, 15 Jul 2023 17:29:29 +0100 |
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!