Merge master to dev16.1#6517

Merged

7 commits merged into

merges/master-to-dev16.1

Apr 13, 2019

Commits on Apr 12, 2019

Cleanup seqcore (#6507)

forki
authored and
KevinRansom
committed
Cleanup array3.fs (#6505)

forki
authored and
KevinRansom
committed
no need to box array when we check for null (#6503)

forki
authored and
KevinRansom
committed
Update branches in README (#6511)
cartermp
authored
Cleanup array2.fs (#6504)

forki
authored and
KevinRansom
committed
Cleanup list.fs (#6506)

forki
authored and
KevinRansom
committed
Cleanup seq.fs (#6513)

forki
authored and
KevinRansom
committed