]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #647 from spastorino/place_base
authorRalf Jung <post@ralfj.de>
Sat, 2 Mar 2019 08:31:04 +0000 (09:31 +0100)
committerGitHub <noreply@github.com>
Sat, 2 Mar 2019 08:31:04 +0000 (09:31 +0100)
Place::Local(x) is now Place::Base(PlaceBase::Local(x))


Trivial merge