Skip to content

rust: Propagate proposed property to more places#434

Closed
osiewicz wants to merge 1 commit intomicrosoft:mainfrom
zed-industries:rust-propagate-proposed-prop-to-more-places
Closed

rust: Propagate proposed property to more places#434
osiewicz wants to merge 1 commit intomicrosoft:mainfrom
zed-industries:rust-propagate-proposed-prop-to-more-places

Commits

Commits on Jul 17, 2025