Merge pull request #15647 from demeritcowboy/regen-upper-lower
authorSeamus Lee <seamuslee001@gmail.com>
Tue, 29 Oct 2019 01:45:03 +0000 (12:45 +1100)
committerGitHub <noreply@github.com>
Tue, 29 Oct 2019 01:45:03 +0000 (12:45 +1100)
commit0606d8efc6174e22edcf35d7b9ed59dbbd7506e0
treea96e47e1e69f1d9e74fbd320383c665c3bdebf94
parent1b14ffd4d5be8114d0b80d378c9453d4e2e6fdfc
parent311176a6a2ce571a4667c6355e739a4613af27d6
Merge pull request #15647 from demeritcowboy/regen-upper-lower

Allow regen.sh to work with either upper/lower case for CMS name to match elsewhere