Merge pull request #1874 from zed-industries/propagate-mouse-up-through-drop-receiver

Propagate mouse up event through drop receiver in early return
2ef2b5a053Julia committed on 11/11/2022, 7:05:07 PM· committed by GitHubparentsb6f78cd5bb7701
1 file changedLine totals unavailable