Merge pull request #15874 from seamuslee001/dev_core_183_env_check
authorSeamus Lee <seamuslee001@gmail.com>
Sun, 17 Nov 2019 21:34:48 +0000 (08:34 +1100)
committerGitHub <noreply@github.com>
Sun, 17 Nov 2019 21:34:48 +0000 (08:34 +1100)
dev/core#183 Use standard temporary table name format when creating t…


Trivial merge