Clean up terminology: step 1 — rename Region to Origin#125
Merged
nikomatsakis merged 15 commits intorust-lang:masterfrom lqd:a_region_has_no_nameSep 18, 2019
+175-176
Commits
Commits on Sep 16, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
