On Wed, Oct 04, 2023 at 11:51:32AM -0400, Robert Haas wrote: > On Wed, Oct 4, 2023 at 11:27 AM Nathan Bossart <nathandboss...@gmail.com> > wrote: >> Here's a patch. I didn't address the class="parameter" stuff at all. I >> figured it would be best to handle that separately. > > I guess I'll vote for including class=parameter in this addition for > now, as that appears to be the majority position in the documentation > today. If we get a consensus to change something, so be it. But also, > if you don't want to do that, so be it.
WFM. I'll add it before committing, which I plan to do later today. -- Nathan Bossart Amazon Web Services: https://aws.amazon.com
