Skip to content

Evaluate place expression in PlaceMention#104844

Merged
bors merged 2 commits intorust-lang:masterfrom
cjgillot:mention-eval-place
Apr 22, 2023
Merged

Evaluate place expression in `PlaceMention`#104844
bors merged 2 commits intorust-lang:masterfrom
cjgillot:mention-eval-place

Commits

Commits on Apr 21, 2023