projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d0fc6f4 00b6bc4)
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)
Bump F# to 4.1.25 and remove already merged patches


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