Skip to content

Make ExpnData fields krate and orig_id private#80648

Merged
bors merged 1 commit into
rust-lang:masterfrom
Aaron1011:expn-data-private
Jan 7, 2021
Merged

Make ExpnData fields krate and orig_id private#80648
bors merged 1 commit into
rust-lang:masterfrom
Aaron1011:expn-data-private

Make `ExpnData` fields `krate` and `orig_id` private

21b8f2e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs