Subject: Re: bug#17284: Host name completion in shell mode take 45 seconds

From: Nicolas Richard <[email-masked]>
Date: Fri, 03 Apr 2015 13:58:39 +0200

Thanks.

Pushed as 7c691f3 and marking this bug as done.

Nicolas.