Merge pull request #5335 from mono/master-bump-fsharp
authorJason Imison <nosami@users.noreply.github.com>
Tue, 8 Aug 2017 11:55:10 +0000 (12:55 +0100)
committerGitHub <noreply@github.com>
Tue, 8 Aug 2017 11:55:10 +0000 (12:55 +0100)
commit2d9df9123c7f9fc8fae59fbd7a6a9e6890162891
treedd850f9e2d69ec2c770ffb1a616f779c42ba466c
parentd0fc6f4ec61c3007a041dd675c14841056cee909
parent00b6bc472b173bdc61864b13e8f2cff896423c81
Merge pull request #5335 from mono/master-bump-fsharp

Bump F# to 4.1.25 and remove already merged patches