Merge proposals

ding-libs in Ubuntu has no merge proposals.