Merge proposals

versiontools in Ubuntu has no merge proposals.