Merge proposals

jline in Ubuntu has no merge proposals.