Merge proposals

eclipse-platform-ui in Ubuntu has no merge proposals.