Merge proposals

dita-ot in Ubuntu has no merge proposals.