projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: b2e515d 5a28b08)
Merge pull request #4276 from henricm/winaot
authorMarek Safar <marek.safar@gmail.com>
Wed, 25 Jan 2017 18:16:04 +0000 (13:16 -0500)
committerGitHub <noreply@github.com>
Wed, 25 Jan 2017 18:16:04 +0000 (13:16 -0500)
Updates for winaot profile


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