Subject: Re: [bug#41752] [PATCH] gnu: Add bash-hosts.
From: Oleg Pykhalov <[email-masked]>
To: Tobias Geerinckx-Rice <[email-masked]>
Cc: [email-masked]
Date: Tue, 30 Jun 2020 20:48:36 +0300
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

Thank you for review!

I applied all your suggestions, added ZSH completion and tests.

Pushed as ceb233bb7642b2a7efec57073bf205b62ebd8f97.

Oleg.