Merge in changes from curry package "socket" (!2) · Merge requests · curry / curry-tools

Kai Prott requested to merge ghc_7.8 into master Apr 01, 2019

Together with kics2!2 (merged) this fixes the issues with network-3.0.0 in ghc >= 7.8

"cypm update" worked just fine, so it seems like everything is working correctly

Edited Apr 01, 2019 by Kai Prott

Merge in changes from curry package "socket"