Skip to content

Rename Place::local to Place::local_or_deref_local#61249

Merged
bors merged 1 commit intorust-lang:masterfrom spastorino:local-or-deref-localMay 29, 2019
+14-12

Commits

Commits on May 28, 2019