projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 5d54803 eb1072d)
Merge pull request #3102 from alexrp/master
authorMarek Safar <marek.safar@gmail.com>
Fri, 3 Jun 2016 09:04:40 +0000 (11:04 +0200)
committerMarek Safar <marek.safar@gmail.com>
Fri, 3 Jun 2016 09:04:40 +0000 (11:04 +0200)
[System] Add back IWebProxyScript to the mobile profile.


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