Merge pull request #297 from mithro/mem-region-pp
authorTim Ansell <me@mith.ro>
Thu, 31 Oct 2019 03:49:27 +0000 (20:49 -0700)
committerGitHub <noreply@github.com>
Thu, 31 Oct 2019 03:49:27 +0000 (20:49 -0700)
Improve the error message on memory region conflict.


Trivial merge