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

Nathan Bossart <nathandbossart@gmail.com>

From: Nathan Bossart <nathandbossart@gmail.com>
To: Chao Li <li.evan.chao@gmail.com>
Cc: Peter Smith <smithpb2250@gmail.com>, PostgreSQL Hackers <pgsql-hackers@lists.postgresql.org>
Date: 2026-04-01T14:11:35Z
Lists: pgsql-hackers
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



Commits

  1. doc: Add missing description for DROP SUBSCRIPTION IF EXISTS.