On Wed, Jun 5, 2024 at 9:03 PM Robert Haas <robertmh...@gmail.com> wrote:
> It's a funny use of "max" and "min", because the max is really what we're > trying to do and the min is what we end > up with, and those terms don't necessarily bring those ideas to mind. requested_protocol_version and minimum_protocol_version?