Merge proposals

fsharp in Ubuntu has no merge proposals.