Code

Merge master to dev16.0#6019

Code

Merged

5 commits merged intodev16.0dotnet/fsharp:dev16.0from merges/master-to-dev16.0dotnet/fsharp:merges/master-to-dev16.0Copy head branch name to clipboardDec 17, 2018

+1-1

Commits

Commits on Dec 15, 2018

• Initial benchmarking

  TIHan

  committed
  3f8bcb2

• Removing unused files

  TIHan

  committed
  e13a1ec

Commits on Dec 16, 2018

• Fixing path

  TIHan

  committed
  3974de0

• Merge pull request #6017 from TIHan/benchmarking

  Show description for 4b7ea08
  TIHan

  authored
  4b7ea08

Commits on Dec 17, 2018

• Merge branch 'dev16.0' into merges/master-to-dev16.0

  TIHan

  authored
  52d444b