Merge pull request #15870 from eileenmcnaughton/init_set
authorMatthew Wire <mjw@mjwconsult.co.uk>
Mon, 18 Nov 2019 05:08:18 +0000 (18:08 +1300)
committerGitHub <noreply@github.com>
Mon, 18 Nov 2019 05:08:18 +0000 (18:08 +1300)
[REF] Minor simplifcation on initSet


Trivial merge