remove extra space from dumped ALTER DEFAULT PRIVILEGES commands
| 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 |