On Tue, Jun 25, 2024 at 4:19 PM Nathan Bossart <nathandbossart(at)gmail(dot)com> wrote:
> Yeah, my options were to either separate the roles or to weaken the
> ordering, and I guess I felt like the weaker ordering was slightly less
> bad. The extra context in some of the groups seemed worth keeping, and
> this probably isn't the only page of our docs that might require ctrl+f.
> But I'll yield to the majority opinion here.
I'm not objecting. I'm just asking.
--
Robert Haas
EDB: http://www.enterprisedb.com