remove extra space from dumped ALTER DEFAULT PRIVILEGES commands

Edit
ID 4044
Title remove extra space from dumped ALTER DEFAULT PRIVILEGES commands
Topic Bug Fixes
Created 2022-12-06 23:32:31
Last modified 2022-12-12 18:05:50 (1 year, 9 months ago)
Latest email 2022-12-06 23:27:44 (1 year, 10 months ago)
Status
2023-01: Committed
Target version 16
Authors Nathan Bossart (bossartn)
Reviewers Become reviewer
Committer Jeff Davis (jdavis)
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/4044
git checkout commitfest/cf/4044
Emails
remove extra space from dumped ALTER DEFAULT PRIVILEGES commands
First at 2022-12-06 23:27:44 by Nathan Bossart <nathandbossart at gmail.com>
Latest at 2022-12-06 23:27:44 by Nathan Bossart <nathandbossart at gmail.com>
Latest attachment (remove_extra_space.patch) at 2022-12-06 23:27:44 from Nathan Bossart <nathandbossart at gmail.com>
    Attachment (remove_extra_space.patch) at 2022-12-06 23:27:44 from Nathan Bossart <nathandbossart at gmail.com> (Patch: Yes)
History
When Who What
2022-12-12 18:05:50 Jeff Davis (jdavis) Closed in commitfest 2023-01 with status: Committed
2022-12-12 18:05:50 Jeff Davis (jdavis) Changed committer to jdavis
2022-12-06 23:32:38 Nathan Bossart (bossartn) Changed authors to Nathan Bossart (bossartn)
2022-12-06 23:32:38 Nathan Bossart (bossartn) Changed targetversion to 16
2022-12-06 23:32:31 Nathan Bossart (bossartn) Attached mail thread 20221206232744.GA3560301@nathanxps13
2022-12-06 23:32:31 Nathan Bossart (bossartn) Created patch record
Edit