Merge proposals

db5.3 in Ubuntu has no merge proposals.