Merge "Hard-deprecate wgSkipSkin, deprecated in 1.23"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 17 Jul 2019 01:13:24 +0000 (01:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 17 Jul 2019 01:13:24 +0000 (01:13 +0000)
commitfe412e0c6adfdbb5a99a44164686019d30dbdb5a
tree6c430490be807be9acec764ef919d734644621de
parent7040e97041e22da2b6f3491180abf4bde8ecc03d
parent7d127e31d60c1d9351bfa701bc2be27bbe9b22c7
Merge "Hard-deprecate wgSkipSkin, deprecated in 1.23"
RELEASE-NOTES-1.34