Merge proposals

Gianfranco Frisani has no merge proposals.