Last modified: 2014-08-29 04:55:07 UTC
Per consensus at URL.
Change 156113 had a related patch set uploaded by Nemo bis: Enable DynamicPageList on mediawiki.org https://gerrit.wikimedia.org/r/156113
Change 156113 merged by jenkins-bot: Enable DynamicPageList on mediawiki.org https://gerrit.wikimedia.org/r/156113