Merge "Change default of $wgLogAutopatrol from true to false"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 5 Apr 2018 13:45:48 +0000 (13:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 5 Apr 2018 13:45:48 +0000 (13:45 +0000)
commitf4d2c64593014120f9f3988af2b375b6cbcbfe2e
treed297527df5fdd6846ff44815a6480094ecb44a3e
parent8c371e76b7c10a00acac185ef91ef2627e0d582d
parent2e352fe13d99f42d6732875ebc00d23324f5a57c
Merge "Change default of $wgLogAutopatrol from true to false"