Subject: bug#66604: [PATCH] Gud LLDB completions

From: Gerd Möllmann <[email-masked]>
Date: Mon, 23 Oct 2023 07:31:49 +0200

Gerd Möllmann <[email-masked]> writes:

> H, don't know.  SHould we really do that?  I mean, I don't oppose it,
> es. if someone else does it :-). It just feels weird...

Since the problem won't go away any time soon, I've now comitted
something maximally simple to work around it.  Could you please confirm
that it works for you?