John Naylor <john.nay...@enterprisedb.com> writes:
> If no one else has anything, I think this is ready for commit.

Pushed, after adopting the suggestion to dispense with
isSharedObjectPinned.

                        regards, tom lane


Reply via email to