Skip to content

handle EndRegion as no-op#199

Merged
oli-obk merged 1 commit intorust-lang:masterfrom
dwrensha:end-region
Jun 20, 2017
Merged

handle EndRegion as no-op#199
oli-obk merged 1 commit intorust-lang:masterfrom
dwrensha:end-region

Commits

Commits on Jun 20, 2017