Rename pg_checkpointer predefined role to pg_checkpoint.

This is more consistent with how other predefined roles that confer
specific privileges are named.

Nathan Bosart

Discussion: 
http://postgr.es/m/ca+tgmoath7+yye+a8ujfnogg3vudtfe6c-77yhay8trwr7o...@mail.gmail.com

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/b9eb0ff09eb843566645679c3ab65b3c9d12c08b

Modified Files
--------------
doc/src/sgml/ref/checkpoint.sgml  | 2 +-
doc/src/sgml/user-manag.sgml      | 2 +-
src/backend/tcop/utility.c        | 4 ++--
src/include/catalog/catversion.h  | 2 +-
src/include/catalog/pg_authid.dat | 4 ++--
5 files changed, 7 insertions(+), 7 deletions(-)

Reply via email to