idris-lang/Idris-dev — pull request #619 by LeifW (2013-11-17 02:10:05+00:00)
Title: Diagnostic on repl network deny

Print the hostname the REPL's using as the reason to refuse your network connection. Helpful feedback when the editor stuff's not working because of something in your /etc/hosts file.