diff options
author | Alvaro Herrera | 2020-05-20 18:35:39 +0000 |
---|---|---|
committer | Alvaro Herrera | 2020-05-20 18:41:00 +0000 |
commit | e1218f59ea4c0605e72298fa121d5aef4c66def2 (patch) | |
tree | 547ba32ed3c62a95b8467007eb35453d2e50869e /contrib/pgcrypto/pgp-mpi-internal.c | |
parent | 39cb2ee09cf900454c1bf14f56048b40c840a490 (diff) |
doc: Adding a partition does not require Access Exclusive lock
This doc update was missed in 898e5e3290a7. Backpatch to 12.
Pointed out by Pavel Luzanov
Discussion: https://postgr.es/m/642e9fbc-b832-698b-9a8f-d626afd7014d@postgrespro.ru
Diffstat (limited to 'contrib/pgcrypto/pgp-mpi-internal.c')
0 files changed, 0 insertions, 0 deletions