Merge proposals

David Hume has no merge proposals.