Merge proposals

Helmut Raiger has no merge proposals.