On Wed, Apr 01, 2026 at 02:43:15PM +0800, Chao Li wrote: > On Apr 1, 2026, at 14:16, Peter Smith <[email protected]> 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
