diff options
| author | Tom Lane | 2023-05-21 14:55:18 +0000 |
|---|---|---|
| committer | Tom Lane | 2023-05-21 14:55:18 +0000 |
| commit | a2eb99a01e015a76682911ae3980762f6ee6ac8c (patch) | |
| tree | 76f99f8273498cc0e3a11641475e455f348070b4 /configure | |
| parent | f4001a553770b3114dd11846c6789ad6c34ef111 (diff) | |
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
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions