On Wed, Jun 26, 2024 at 10:40:10AM -0400, Robert Haas wrote: > 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.
Cool. I'll plan on committing this latest version once v18devel hacking begins. -- nathan
