On Tue, Jun 25, 2024 at 4:19 PM Nathan Bossart <nathandboss...@gmail.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
