Fixing tab-complete for dollar-names

2023-09-19 16:30:50 Heikki Linnakangas (heikki) Closed in commitfest 2023-09 with status: Committed 2023-09-19 16:30:50 Heikki Linnakangas (heikki) Changed committer to heikki 2023-09-04 13:19:30 Peter Eisentraut (petere) New status: Ready for Committer 2023-08-01 20:20:16 Daniel Gustafsson (d_gustafsson) Closed in commitfest 2023-07 with status: Moved to next CF 2023-06-26 23:46:48 Vik Fearing (xocolatl) Added xocolatl as reviewer 2023-06-26 20:11:59 Mikhail Gribkov (youzhick) Changed authors to Mikhail Gribkov (youzhick) 2023-06-26 20:11:59 Mikhail Gribkov (youzhick) Changed targetversion to 16 2023-06-26 20:10:20 Mikhail Gribkov (youzhick) Attached mail thread CAMEv5_sTAvPvhye+u4jkWDe5UGDiQ1ZkQomnKCboM08zDzOe=g@mail.gmail.com 2023-06-26 20:10:20 Mikhail Gribkov (youzhick) Created patch record