On Wed, Apr 01, 2026 at 02:43:15PM +0800, Chao Li wrote:
> On Apr 1, 2026, at 14:16, Peter Smith <smithpb2250(at)gmail(dot)com> wrote:
>> PSA a patch to add similar documentation for DROP SUBSCRIPTION IF EXISTS.
>
> Looks good. The patch uses the same phrase for “if exists” as the doc of
> “drop publication”. And I verified that a notice is issued:
Thanks. Will commit/back-patch shortly.
--
nathan