improving user.c error messages

2023-03-17 09:39:45 Peter Eisentraut (petere) Closed in commitfest 2023-03 with status: Committed 2023-03-17 09:39:45 Peter Eisentraut (petere) Changed committer to petere 2023-02-20 23:00:00 Nathan Bossart (bossartn) New status: Needs review 2023-02-20 07:55:59 Peter Eisentraut (petere) New status: Waiting on Author 2023-02-20 07:55:54 Peter Eisentraut (petere) Added petere as reviewer 2023-01-26 00:26:54 Nathan Bossart (bossartn) Changed authors to Nathan Bossart (bossartn) 2023-01-26 00:26:54 Nathan Bossart (bossartn) Changed targetversion to 16 2023-01-26 00:26:46 Nathan Bossart (bossartn) Attached mail thread CA+TgmoYwTFTQR0+qe+_asEvv2wqQL+0JCyexgVy2Ct31+rCb7w@mail.gmail.com 2023-01-26 00:26:46 Nathan Bossart (bossartn) Created patch record