Re: ATTACH PARTITION locking documentation for DEFAULT partitions

[David Rowley]

On Mon, 5 Jul 2021 at 01:01, David Rowley <dgrowle...@gmail.com> wrote:
> I've spent a bit of time hacking at this and I've come up with the
> attached patch.

Matthias, any thoughts on my revised version of the patch?

David