Merge pull request #14556 from eileenmcnaughton/null_another
authorSeamus Lee <seamuslee001@gmail.com>
Sun, 16 Jun 2019 08:37:53 +0000 (18:37 +1000)
committerGitHub <noreply@github.com>
Sun, 16 Jun 2019 08:37:53 +0000 (18:37 +1000)
dev/core#1047 Fix instance of null contamination


Trivial merge