Re: BUG #18559: Crash after detaching a partition concurrently from another session

On 2024-Aug-18, Junwang Zhao wrote:

> On Fri, Aug 16, 2024 at 3:32 AM Kuntal Ghosh <kuntalghosh.2007@gmail.com> wrote:

> > Thanks for the patch. LGTM. I've verified that it's fixing the issue.
>
> +1

Thanks both for looking, I pushed this yesterday.

-- 
Álvaro Herrera         PostgreSQL Developer  —  https://www.EnterpriseDB.com/