Subject: Re: bug#78944: 31.0.50; Minibuffer completion

From: Dani Moncayo <[email-masked]>
Date: Sat, 19 Jul 2025 09:47:31 +0200

On Sat, Jul 19, 2025 at 9:03 AM Eli Zaretskii <[email-masked]> wrote:
>
> [...]
>
> Ping!  How should we make some progress with this issue?

FWIW: I don't see a good solution for this (minor) issue.  But I'd
like to say that I'd rather not complicate the (already complex) logic
for minibuffer completion.

-- 
Dani Moncayo