|
| 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] |