Skip to content

Clean up query descriptions#103182

Merged
bors merged 1 commit intorust-lang:masterfrom
Noratrieb:query-desc-cleanup
Oct 19, 2022
Merged

Clean up query descriptions#103182
bors merged 1 commit intorust-lang:masterfrom
Noratrieb:query-desc-cleanup

Commits

Commits on Oct 18, 2022