On Tue, Nov 15, 2022 at 12:07:06PM -0500, Robert Haas wrote: > If anyone else wants to comment, or if either of those people want to > comment further, please speak up soon. Otherwise, I am going to press > forward with committing this.
I don't think I have any further thoughts about the approach, so I won't balk if you proceed with this change. It might be worth starting a new thread to discuss whether to treat predefined roles as a special case, but IMO that needn't hold up this patch. -- Nathan Bossart Amazon Web Services: https://aws.amazon.com
