Skip to content

Make PlaceMention a non-mutating use.#110826

Merged
bors merged 3 commits intorust-lang:masterfrom
cjgillot:place-mention-use
May 4, 2023

Commits

Commits on Apr 29, 2023