git.postgresql.org Git - postgresql.git/commit

git projects / postgresql.git / commit

Remove unnecessary grammar symbols

author Peter Eisentraut <peter@eisentraut.org>

Fri, 4 Dec 2020 10:09:29 +0000 (11:09 +0100)

committer Peter Eisentraut <peter@eisentraut.org>

Fri, 4 Dec 2020 10:16:26 +0000 (11:16 +0100)

commit a6964bc1bb0793e20636ccb573cd2a5ad3ef7667

tree 3ec70b805569e6aee300fc5f37aebc4711cb87d3 tree

parent 8ae4ef4fb0e0331f02c4615182600546c8e5c4d4 commit | diff

Remove unnecessary grammar symbols

Instead of publication_name_list, we can use name_list. We already
refer to publications everywhere else by the 'name' or 'name_list'
symbols, so this only improves consistency.

Reviewed-by: https://www.postgresql.org/message-id/flat/3e3ccddb-41bd-ecd8-29fe-195e34d9886f%40enterprisedb.com
Discussion: Tom Lane <tgl@sss.pgh.pa.us>

src/backend/parser/gram.y diff | blob | blame | history

This is the main PostgreSQL git repository.

RSS Atom