Fix description of how the default user name is chosen
| When | Who | What |
|---|---|---|
| 2022-11-24 08:11:44 | Peter Eisentraut (petere) | Closed in commitfest 2022-11 with status: Committed |
| 2022-11-24 08:11:44 | Peter Eisentraut (petere) | Changed committer to petere |
| 2022-10-31 13:42:08 | Peter Eisentraut (petere) | New status: Waiting on Author |
| 2022-10-26 08:45:33 | Peter Eisentraut (petere) | Added petere as reviewer |
| 2022-10-20 15:23:23 | Arne Roland (harks) | Changed reviewers to |
| 2022-10-12 06:48:38 | Michael Paquier (michael-kun) | Closed in commitfest 2022-09 with status: Moved to next CF |
| 2022-08-04 10:26:07 | Arne Roland (harks) | Added harks as reviewer |
| 2022-08-01 22:16:31 | Jacob Champion (jchampion) | Closed in commitfest 2022-07 with status: Moved to next CF |
| 2022-06-20 17:47:44 | David Johnston (polobo) | Changed authors to David Johnston (polobo) |
| 2022-06-20 17:47:37 | David Johnston (polobo) | Attached mail thread CAKFQuwZUhgz=sUi+wGQV-PBTNjMovuA-BOV88RV-Vw0m0drCAg@mail.gmail.com |
| 2022-06-20 17:47:37 | David Johnston (polobo) | Created patch record |