Re: Encoding customization variable names

2022-05-31 Thread Patrice Dumas
On Tue, May 31, 2022 at 09:11:21PM +0100, Gavin Smith wrote: > > I've committed the change. Please feel free to make other changes to > complete this. Should be done. -- Pat

Re: Encoding customization variable names

2022-05-31 Thread Gavin Smith
On Mon, May 30, 2022 at 10:32:07PM +0200, Patrice Dumas wrote: > On Mon, May 30, 2022 at 08:04:34PM +0100, Gavin Smith wrote: > > On Mon, May 30, 2022 at 06:43:32PM +0100, Gavin Smith wrote: > > > On Mon, May 30, 2022 at 11:48:22AM +0200, Patrice Dumas wrote: > > > > > > Some tests need this eithe