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

2024-05-15 Thread Peter Eisentraut
On 13.05.24 13:02, Daniel Gustafsson wrote: On 13 May 2024, at 10:48, Peter Eisentraut wrote: Patches attached. All patches look good. I think the first one is a bug fix. Agreed. Committed, thanks.

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

2024-05-13 Thread Daniel Gustafsson
> On 13 May 2024, at 10:48, Peter Eisentraut wrote: > Patches attached. All patches look good. > I think the first one is a bug fix. Agreed. -- Daniel Gustafsson