remove extra space from dumped ALTER DEFAULT PRIVILEGES commands

Edit
ID 4044
Title remove extra space from dumped ALTER DEFAULT PRIVILEGES commands
CI (CFBot) Not processed
Stats (from CFBot) Unknown
Topic Bug Fixes
Created 2022-12-06 23:32:31
Last modified 2022-12-12 18:05:50 (2 years ago)
Latest email 2022-12-06 23:27:44 (2 years ago)
Status
2023-01: Committed
Target version 16
Authors Nathan Bossart (bossartn)
Reviewers Become reviewer
Committer Jeff Davis (jdavis)
Links
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