Merge proposals

frugally-deep in Ubuntu has no merge proposals.