remove extra space from dumped ALTER DEFAULT PRIVILEGES commands

Title

Topic

Bug Fixes

Created

2022-12-06 23:32:31

Last modified

2022-12-12 18:05:50 (6 months ago)

Latest email

2022-12-06 23:27:44 (6 months ago)

Status

2023-01: Committed

Target version

Authors

Nathan Bossart (bossartn)

Reviewers

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