Merge proposals

withgui has no merge proposals.