projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 76f89cd 08f1fdc)
Merge pull request #4334 from ntherning/exclude-mono_w32socket_disconnect-on-non...
authorNiklas Therning <niklas@therning.org>
Tue, 7 Feb 2017 14:00:34 +0000 (15:00 +0100)
committerGitHub <noreply@github.com>
Tue, 7 Feb 2017 14:00:34 +0000 (15:00 +0100)
Exclude mono_w32socket_disconnect() on unsupported Windows families


Trivial merge
my mono mirror. check out Moved to http://github.com/mono/mono