Merge pull request #15988 from jensschuppe/dev_core_1425
authorEileen McNaughton <emcnaughton@wikimedia.org>
Fri, 29 Nov 2019 20:34:12 +0000 (09:34 +1300)
committerGitHub <noreply@github.com>
Fri, 29 Nov 2019 20:34:12 +0000 (09:34 +1300)
commit124f0413bd85c845568eb515a18cab778444637f
tree3f8a093a9d15e8188b6eb668674d1ebaaa7c7e56
parent4dedc4bd9811dbc0b80bb0486e68ab79bdfc5810
parent33f7b19d2bbd34be29b1fe5a87e41b76194d5aa1
Merge pull request #15988 from jensschuppe/dev_core_1425

dev/core#1425 Remove misleading type hint for Setting value parameter