Subject: [bug#45004] Bash completion for ‘herd’

From: Oleg Pykhalov <[email-masked]>
Date: Sat, 03 Jun 2023 01:23:24 +0300

Hi Ludovic,

Ludovic Courtès <[email-masked]> writes:

[…]

> Would you mind polishing a bit (as you see fit; perhaps use grep/sed
> rather than Awk?) and submitting a patch for this?  I’d be happy to
> apply it!

Done. Please check the 63860 issue.

Regards,
Oleg.