Merge proposals

lava in Ubuntu has no merge proposals.