Enable DestinationPropagation by default.#115105

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

cjgillot:dest-prop-defaultcjgillot/rust:dest-prop-defaultCopy head branch name to clipboard