projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 65aaee5 bb9981e)
Merge pull request #4235 from grendello/android_dns_servers
authorMarek Safar <marek.safar@gmail.com>
Thu, 12 Jan 2017 11:56:41 +0000 (12:56 +0100)
committerGitHub <noreply@github.com>
Thu, 12 Jan 2017 11:56:41 +0000 (12:56 +0100)
[BCL,Android] Get DNS server addresses from Android


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