[MediaWiki-commits] [Gerrit] operations/dumps[master]: remove unneeded dblists and references to them

ArielGlenn has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/325944 ) Change subject: remove unneeded dblists and references to them .. remove unneeded dblists and references to them We no longer

[MediaWiki-commits] [Gerrit] operations/dumps[master]: remove unneeded dblists and references to them

ArielGlenn has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/325944 ) Change subject: remove unneeded dblists and references to them .. remove unneeded dblists and references to them We no longer check 'is