Re: Fixing tab-complete for dollar-names

On 27/06/2023 02:47, Vik Fearing wrote:
> On 6/26/23 22:10, Mikhail Gribkov wrote:
>> Hi hackers,
>>
>> As not much preliminary interest seem to be here, I'm sending the patch to
>> the upcoming commitfest
> 
> I have added myself as reviewer.  I already had taken a look at it, and
> it seemed okay, but I have not yet searched for corner cases.

LGTM, pushed.

I concur it's surprising that no one's noticed or at least not bothered 
to fix this before. But I also couldn't find any cases where this would 
cause trouble.

-- 
Heikki Linnakangas
Neon (https://neon.tech)