Merge proposals

InterEdition has no merge proposals.