|
From: | martin rudalics |
Subject: | bug#17284: Host name completion in shell mode take 45 seconds |
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
[Prev in Thread] | Current Thread | [Next in Thread] |