Merge "Disabled, unticked "Leave redirect" checkbox when redirect impossible"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 26 Dec 2013 15:01:11 +0000 (15:01 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 26 Dec 2013 15:01:11 +0000 (15:01 +0000)
commitc7a197d58fd27e538ebdcd8d14e2ec9f9e2bc4f7
treec68e1883be40ff1022ac150cecc6441a7c9f0d9e
parent7e0ab7ffd0b88302ef051b5246632d6c24cf022e
parentf8894e8d6bd3a09414b4193632174bfdfa921a3c
Merge "Disabled, unticked "Leave redirect" checkbox when redirect impossible"