Re: doc: some fixes for environment sections in ref pages

[Peter Eisentraut]

On 13.05.24 13:02, Daniel Gustafsson wrote:

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.

Committed, thanks.