Merge proposals

gauche-gl in Ubuntu has no merge proposals.