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-77yHAY8TRWR7oqyw@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(-)