Re: DOCS - DROP SUBSCRIPTION does not document parameter "IF EXISTS"

On Wed, Apr 01, 2026 at 02:43:15PM +0800, Chao Li wrote:
> On Apr 1, 2026, at 14:16, Peter Smith <smithpb2250@gmail.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