Michael Paquier <mich...@paquier.xyz> writes:
> On Thu, Jun 06, 2024 at 09:43:45AM +0900, Michael Paquier wrote:
>> Not sure that this is a must-have. It is nice to have, but extra
>> information is a new feature IMO. Any extra opinions?
> Hearing nothing, I've applied that on HEAD now that v18 is open.
While this won't actually fail against a v10 or v11 server, it won't
show anything useful either (because relam is zero for heaps in
pre-v12 versions). Perhaps there should be a check to only add the
extra column if server >= v12?
regards, tom lane
