Add pretty-printed XML output option
| When | Who | What |
|---|---|---|
| 2023-03-15 20:59:47 | Tom Lane (tgl) | Closed in commitfest 2023-03 with status: Committed |
| 2023-03-09 17:00:46 | Tom Lane (tgl) | Added tgl as committer |
| 2023-02-23 22:23:01 | Peter Smith (smithpb2250) | New status: Ready for Committer |
| 2023-02-12 22:52:31 | Peter Smith (smithpb2250) | Added smithpb2250 as reviewer |
| 2023-02-02 20:37:51 | Jim Jones (jimus) | Changed authors to Jim Jones (jimus) |
| 2023-02-02 20:37:51 | Jim Jones (jimus) | Changed targetversion to 16 |
| 2023-02-02 20:37:12 | Jim Jones (jimus) | Attached mail thread 2f5df461-dad8-6d7d-4568-08e10608a69b@uni-muenster.de |
| 2023-02-02 20:37:12 | Jim Jones (jimus) | Created patch record |