Reduce size of postgres.bki

Edit
Title Reduce size of postgres.bki
Topic Miscellaneous
Created 2023-09-01 17:27:27
Last modified 2024-04-08 08:11:15 (3 weeks, 2 days ago)
Latest email 2024-04-09 04:03:29 (3 weeks, 1 day ago)
Status
2024-07: Waiting on Author
2024-03: Moved to next CF
2024-01: Moved to next CF
2023-11: Moved to next CF
Target version
Authors Matthias van de Meent (mmeent)
Reviewers Become reviewer
Committer
Links
Emails
GenBKI emits useless open;close for catalogs without rows
First at 2023-09-01 17:26:56 by Matthias van de Meent <boekewurm+postgres at gmail.com>
Latest at 2024-04-09 04:03:29 by Michael Paquier <michael at paquier.xyz>
Latest attachment (remove-bootstrap-open.patch) at 2023-09-19 18:05:41 from Heikki Linnakangas <hlinnaka at iki.fi>
    Attachment (remove-bootstrap-open.patch) at 2023-09-19 18:05:41 from Heikki Linnakangas <hlinnaka at iki.fi> (Patch: Yes)
    Attachment (v2-0001-Update-BKI-syntax-bootstrap-performance.patch) at 2023-09-18 14:50:13 from Matthias van de Meent <boekewurm+postgres at gmail.com> (Patch: Yes)
    Attachment (0002-Remove-the-bki-close-command.patch) at 2023-09-01 17:26:56 from Matthias van de Meent <boekewurm+postgres at gmail.com> (Patch: Yes)
History
When Who What
2024-04-08 08:11:15 Andrey Borodin (x4m) Closed in commitfest 2024-03 with status: Moved to next CF
2024-02-01 17:18:31 vigneshwaran C (vignesh.postgres) Closed in commitfest 2024-01 with status: Moved to next CF
2024-02-01 17:18:27 vigneshwaran C (vignesh.postgres) New status: Waiting on Author
2023-12-08 16:04:10 Matthias van de Meent (mmeent) Changed name to Reduce size of postgres.bki
2023-12-04 09:05:42 John Naylor (john.naylor) Closed in commitfest 2023-11 with status: Moved to next CF
2023-09-01 17:27:38 Matthias van de Meent (mmeent) Changed authors to Matthias van de Meent (mmeent)
2023-09-01 17:27:27 Matthias van de Meent (mmeent) Attached mail thread CAEze2Wh+uwUxKiDhYRBKuxin8A3nSuKf20LbSZwdmm1VKj_TWg@mail.gmail.com
2023-09-01 17:27:27 Matthias van de Meent (mmeent) Created patch record
Edit