Re: Shared memory leak on DSM slot exhaustion

[Thomas Munro]

On Sat, Feb 1, 2020 at 7:37 AM Robert Haas <robertmh...@gmail.com> wrote:
> Whoops. The patch looks OK to me.

Pushed.