> On 13 May 2024, at 10:48, Peter Eisentraut <pe...@eisentraut.org> wrote:
> Patches attached. All patches look good. > I think the first one is a bug fix. Agreed. -- Daniel Gustafsson
- doc: some fixes for environment sections in ref pages Peter Eisentraut
- Re: doc: some fixes for environment sections in ref... Daniel Gustafsson
- Re: doc: some fixes for environment sections in... Peter Eisentraut
