DOCS - DROP SUBSCRIPTION does not document parameter "IF EXISTS"
Peter Smith <smithpb2250@gmail.com>
From: Peter Smith <smithpb2250@gmail.com>
To: PostgreSQL Hackers <pgsql-hackers@lists.postgresql.org>
Date: 2026-04-01T06:16:00Z
Lists: pgsql-hackers
Attachments
- v1-0001-DOCS-Add-missing-description-for-DROP-SUBSCRIPTIO.patch (application/octet-stream) patch v1-0001
Hi. I happened to notice that the "DROP PUBLICATION IF EXISTS" parameter is documented [1] ------ IF EXISTS Do not throw an error if the publication does not exist. A notice is issued in this case. ------ But, the equivalent "DROP SUBSCRIPTION IF EXISTS" parameter description is missing [2]. ~~~ PSA a patch to add similar documentation for DROP SUBSCRIPTION IF EXISTS. ====== [1] https://www.postgresql.org/docs/devel/sql-droppublication.html [2] https://www.postgresql.org/docs/devel/sql-dropsubscription.html Kind Regards, Peter Smith. Fujitsu Australia
Commits
-
doc: Add missing description for DROP SUBSCRIPTION IF EXISTS.
- ba8b89123694 15.18 landed
- a6ab311c70f7 17.10 landed
- 9ed5015f0d84 18.4 landed
- 9a53249c5b12 14.23 landed
- 196bf448e005 19 (unreleased) landed
- 009e1d303a65 16.14 landed