John Naylor <john(dot)naylor(at)enterprisedb(dot)com> writes:> If no one else has anything, I think this is ready for commit.
Pushed, after adopting the suggestion to dispense withisSharedObjectPinned.
regards, tom lane