Rename traits_in_crate query to traits#111870
Merged
bors merged 1 commit intorust-lang:masterfrom May 24, 2023
Hidden character warning
The head ref may contain hidden characters: "just_\ud83c\udf1ftraits\ud83c\udf1f_query"
Merged
