Merge proposals

Simutrace has no merge proposals.