README.HOT update for summarizing indexes exception
| When | Who | What |
|---|---|---|
| 2023-07-07 17:10:32 | Matthias van de Meent (mmeent) | Closed in commitfest 2023-09 with status: Committed |
| 2023-07-07 17:10:22 | Matthias van de Meent (mmeent) | Changed reviewers to Tomas Vondra (fuzzycz) |
| 2023-07-07 17:10:22 | Matthias van de Meent (mmeent) | Changed committer to fuzzycz |
| 2023-07-06 11:41:25 | Matthias van de Meent (mmeent) | Changed authors to Matthias van de Meent (mmeent) |
| 2023-07-06 11:41:14 | Matthias van de Meent (mmeent) | Attached mail thread CAEze2WiEOm8V+c9kUeYp2BPhbEc5s473fUf51xNeqvSFGv44Ew@mail.gmail.com |
| 2023-07-06 11:41:14 | Matthias van de Meent (mmeent) | Created patch record |