Skip to content

Rename traits_in_crate query to traits#111870

Merged
bors merged 1 commit into
rust-lang:masterfrom
WaffleLapkin:just_🌟traits🌟_query
May 24, 2023

Hidden character warning

The head ref may contain hidden characters: "just_\ud83c\udf1ftraits\ud83c\udf1f_query"
Merged

Rename traits_in_crate query to traits#111870
bors merged 1 commit into
rust-lang:masterfrom
WaffleLapkin:just_🌟traits🌟_query

Rename `traits_in_crate` query to `traits`

cc1ec49
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs