idris-lang/Idris-dev — pull request #1316 by Heather (2014-06-17 05:16:59+00:00)
Title: repair rts/idris_net for windows

It was broken here : https://github.com/idris-lang/Idris-dev/commit/b92213c36d35caff1b32a43625de8eda48733acb