idris-lang/Idris-dev — pull request #919 by hannesm (2014-02-22 00:18:50+00:00)
Title: Fix include for sockaddr_in and initialization of addr in idrnet_sockadd...

...r_ipv4