Target modifiers (special marked options) are recorded in metainfo#133138

Merged

bors merged 1 commit intorust-lang:masterfrom

azhogin:azhogin/target-modifiers

Feb 3, 2025

Commits on Feb 2, 2025

Target modifiers (special marked options) are recorded in metainfo and compared to be equal in different crates
azhogin
committed