"Derric Atzrott" <datzrott(a)alizeepathology.com> writes:
>> TL;DR: Should we merge
https://gerrit.wikimedia.org/r/#/c/165979/ and
>> release it with MediaWiki 1.24?
This seems completely reasonable to me. I'd merge
is personally. Is there
any reason not to?
The discussion on the bug and the fact that this was in a security
release.
I'll merge it tomorrow for RC.1 unless someone objects or a problem
arises.
Mark.
--
Mark A. Hershberger
NicheWork LLC
717-271-1084