On Fri, Oct 23, 2020 at 05:40:37PM -0400, Stephen Frost wrote: > Therefore, on the whole, the proposal that I would put out there is: > > - Rename everything (code, docs, etc) to 'predefined roles' for v14+ > - Update the documentation (only) in back-branches to mention that the > feature was renamed in v14 to 'predefined roles' > - Use the 'doc page alias' feature to make the documentation page for > 'default roles' on the older versions link to 'predefined roles' in > the newer versions, and vice-versa
Sure, that works for me. If it was only docs, backpatch makes more sense, but once you showed the renaming in those other areas, master-only makes more sense. Thanks for working on this. -- Bruce Momjian <br...@momjian.us> https://momjian.us EnterpriseDB https://enterprisedb.com The usefulness of a cup is in its emptiness, Bruce Lee
