Merge proposals

ontotrans-devel-team has no merge proposals.