Merge pull request #15786 from eileenmcnaughton/cont_type
authorSeamus Lee <seamuslee001@gmail.com>
Sat, 9 Nov 2019 01:41:50 +0000 (12:41 +1100)
committerGitHub <noreply@github.com>
Sat, 9 Nov 2019 01:41:50 +0000 (12:41 +1100)
Remove obsolete warning


Trivial merge