Merge proposals

smlsharp in Ubuntu has no merge proposals.