Merge proposals

r-cran-semtools in Ubuntu has no merge proposals.