[MediaWiki-commits] [Gerrit] operations/dumps[master]: tiny script that retrieves config values from dump config files

ArielGlenn has submitted this change and it was merged. Change subject: tiny script that retrieves config values from dump config files .. tiny script that retrieves config values from dump config files for use by bash

[MediaWiki-commits] [Gerrit] operations/dumps[master]: tiny script that retrieves config values from dump config files

ArielGlenn has uploaded a new change for review. https://gerrit.wikimedia.org/r/301712 Change subject: tiny script that retrieves config values from dump config files .. tiny script that retrieves config values from dump