Merge pull request #12164 from seamuslee001/region_create_function
authorMonish Deb <monish.deb@jmaconsulting.biz>
Sat, 19 May 2018 12:56:26 +0000 (18:26 +0530)
committerGitHub <noreply@github.com>
Sat, 19 May 2018 12:56:26 +0000 (18:26 +0530)
dev/core#130 Remove deprecated create_function from RegionTest in fav…


Trivial merge