]> git.ipfire.org Git - thirdparty/postgresql.git/commit
projects / thirdparty / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8ae4ef4) | patch
Remove unnecessary grammar symbols
authorPeter Eisentraut <peter@eisentraut.org>
Fri, 4 Dec 2020 10:09:29 +0000 (11:09 +0100)
committerPeter Eisentraut <peter@eisentraut.org>
Fri, 4 Dec 2020 10:16:26 +0000 (11:16 +0100)
commita6964bc1bb0793e20636ccb573cd2a5ad3ef7667
tree3ec70b805569e6aee300fc5f37aebc4711cb87d3tree
parent8ae4ef4fb0e0331f02c4615182600546c8e5c4d4commit | 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
Mirror of https://git.postgresql.org/git/postgresql.git