Skip to content

Rename upvars query to upvars_mentioned#714

Merged
mark-i-m merged 1 commit intorust-lang:masterfrom
JohnTitor:upvars
May 26, 2020
Merged

Rename `upvars` query to `upvars_mentioned`#714
mark-i-m merged 1 commit intorust-lang:masterfrom
JohnTitor:upvars

Commits

Commits on May 26, 2020