Merge proposals

Manfred Wiktorin has no merge proposals.