|
| From: | Bruno Haible |
| Subject: | Re: Take account of splitting option in gendocs.sh |
| Date: | Wed, 12 Jul 2023 16:02:34 +0200 |
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
| [Prev in Thread] | Current Thread | [Next in Thread] |