Followup to #76673#77165

Merged

bors merged 1 commit intorust-lang:masterfrom simonvandel:do-not-fire-on-drop-and-replace

Sep 25, 2020

+3-2

Commits on Sep 24, 2020

Resolve rust-lang#76673 (comment)
simonvandel
committed