Merge proposals

robert-hooke in Ubuntu has no merge proposals.