remove extra space from dumped ALTER DEFAULT PRIVILEGES commands

Edit
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 month, 3 weeks ago)
Latest email 2022-12-06 23:27:44 (2 months 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