code: replace 'master' with 'leader' where appropriate.

Andres Freund <andres@anarazel.de>

Commit: e07633646a22734e85d7fc58a66855f747128e6b
Author: Andres Freund <andres@anarazel.de>
Date: 2020-07-08T19:58:32Z
Releases: 14.0
code: replace 'master' with 'leader' where appropriate.

Leader already is the more widely used terminology, but a few places
didn't get the message.

Author: Andres Freund
Reviewed-By: David Steele
Discussion: https://postgr.es/m/20200615182235.x7lch5n6kcjq4aue@alap3.anarazel.de

Files

Documentation touched

Discussion