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

ID 5341

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

Topic Documentation

Created 2024-10-30 15:06:51

Last modified 2024-10-30 15:07:04 (2 weeks, 6 days ago)

Latest email 2024-10-31 17:25:33 (2 weeks, 5 days ago)

Status

2024-11: Needs review

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-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