Merge pull request #5327 from marek-safar/corefx-bump
authorMarek Safar <marek.safar@gmail.com>
Fri, 6 Oct 2017 10:07:58 +0000 (12:07 +0200)
committerGitHub <noreply@github.com>
Fri, 6 Oct 2017 10:07:58 +0000 (12:07 +0200)
Bump corefx


Trivial merge