projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: bb0e787 39af478)
Merge pull request #5159 from MaurGi/patch-1
authorRodrigo Kumpera <kumpera@users.noreply.github.com>
Fri, 30 Jun 2017 16:18:20 +0000 (12:18 -0400)
committerGitHub <noreply@github.com>
Fri, 30 Jun 2017 16:18:20 +0000 (12:18 -0400)
Console.Error.WriteLine in System.Net.NetworkInformation


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