On Mar 28 15:31, Corinna Vinschen wrote: > On Mar 28 13:34, Jon Turney wrote: > > On 28/03/2023 11:35, Corinna Vinschen wrote: > > > Apart from the doc change, the patch is ok now. > > > > The preceding text says "Four schema are predefined, two schemata are > > variable", then we add "env" to both lists? That doesn't make much sense to > > me. Surely it's just a "predefined schema"? In any case that text should > > be updated. > > Ouch, yeah, I missed that. Thanks for catching!
I accidentally already pushed this patch, so I took it on me to fix up the documentation. Corinna