Subject: Re: bug#17284: Host name completion in shell mode take 45 seconds
From: Nicolas Richard <[email-masked]>
To: Dmitry Gutov <[email-masked]>, Svend Sorensen <[email-masked]>
Cc: [email-masked]
Date: Fri, 03 Apr 2015 13:58:39 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Thanks.

Pushed as 7c691f3 and marking this bug as done.

Nicolas.