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

From: martin rudalics <[email-masked]>
Date: Sat, 04 Apr 2015 17:59:58 +0200

> I don't think so.  It's just going to add a couple more warnings, which
 > can all be fixed trivially.

Well, I asked for it.  Hopefully we're now motivated enough to supply
the (hopefully trivial) fixes.

martin