Expand some more uses of "deleg" to "delegation" or "delegated".

Tom Lane <tgl@sss.pgh.pa.us>

Commit: a2eb99a01e015a76682911ae3980762f6ee6ac8c
Author: Tom Lane <tgl@sss.pgh.pa.us>
Date: 2023-05-21T14:55:18Z
Releases: 16.0
Expand some more uses of "deleg" to "delegation" or "delegated".

Complete the task begun in 9c0a0e2ed: we don't want to use the
abbreviation "deleg" for GSS delegation in any user-visible places.
(For consistency, this also changes most internal uses too.)

Abhijit Menon-Sen and Tom Lane

Discussion: https://postgr.es/m/949048.1684639317@sss.pgh.pa.us

Files

Documentation touched

Discussion