Improve "user mapping not found" error message

2023-11-30 04:42:45 Peter Eisentraut (petere) Closed in commitfest 2023-11 with status: Committed 2023-11-30 04:42:45 Peter Eisentraut (petere) Changed committer to petere 2023-10-02 10:55:55 Peter Eisentraut (petere) Closed in commitfest 2023-09 with status: Moved to next CF 2023-08-01 20:56:53 Daniel Gustafsson (d_gustafsson) Closed in commitfest 2023-07 with status: Moved to next CF 2023-07-03 09:23:08 Peter Eisentraut (petere) New status: Waiting on Author 2023-07-03 09:23:06 Peter Eisentraut (petere) Added petere as reviewer 2023-06-25 01:33:48 Ian Barwick (barwick) Changed authors to Ian Barwick (barwick) 2023-06-25 01:33:48 Ian Barwick (barwick) Changed targetversion to 17 2023-06-25 01:33:13 Ian Barwick (barwick) Attached mail thread CAB8KJ=jFzNaeyFtLcTZNOc6fd1+F93pGVLFa-wyt31wn7VNxqQ@mail.gmail.com 2023-06-25 01:33:13 Ian Barwick (barwick) Created patch record