Merge proposals

quicklisp in Ubuntu has no merge proposals.