Merge proposals

Bevismaskinen has no merge proposals.