Use "protocol options" name instead of "protocol extensions" everywhere

Edit
ID 5341
Title Use "protocol options" name instead of "protocol extensions" everywhere
Topic Documentation
Created 2024-10-30 15:06:51
Last modified 2024-12-05 15:16:37 (1 week, 2 days ago)
Latest email 2024-10-31 17:25:33 (1 month, 1 week ago)
Status
2025-01: Needs review
2024-11: Moved to next CF
Target version
Authors Jelte Fennema-Nio (jeltef)
Reviewers Become reviewer
Committer
Links CFbot results (CirrusCI) CFbot GitHub
Checkout latest CFbot patchset Go to your local checkout of the PostgreSQL repository and run:
git remote add commitfest https://github.com/postgresql-cfbot/postgresql.git
git fetch commitfest cf/5341
git checkout commitfest/cf/5341
Emails
Use "protocol options" name instead of "protocol extensions" everywhere
First at 2024-10-30 13:58:44 by Jelte Fennema-Nio <postgres at jeltef.nl>
Latest at 2024-10-31 17:25:33 by Jelte Fennema-Nio <postgres at jeltef.nl>
Latest attachment (v1-0001-Rename-protocol-extensions-to-protocol-options-in.patch) at 2024-10-30 13:58:44 from Jelte Fennema-Nio <postgres at jeltef.nl>
    Attachment (v1-0001-Rename-protocol-extensions-to-protocol-options-in.patch) at 2024-10-30 13:58:44 from Jelte Fennema-Nio <postgres at jeltef.nl> (Patch: Yes)
History
When Who What
2024-12-05 15:16:37 Jelte Fennema-Nio (jeltef) Closed in commitfest 2024-11 with status: Moved to next CF
2024-10-30 15:07:04 Jelte Fennema-Nio (jeltef) Changed authors to Jelte Fennema-Nio (jeltef)
2024-10-30 15:06:51 Jelte Fennema-Nio (jeltef) Attached mail thread CAGECzQQoc+V94TrF-5cMikCMaf-uUnU52euwSCtQBeDYqXnXyA@mail.gmail.com
2024-10-30 15:06:51 Jelte Fennema-Nio (jeltef) Created patch record
Edit