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