Merge proposals

LoneStar has no merge proposals.