[MediaWiki-commits] [Gerrit] operations/puppet[production]: RESTBase: Remove restbase10(0[89]|10) from the list of seeds
Filippo Giunchedi has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/375825 ) Change subject: RESTBase: Remove restbase10(0[89]|10) from the list of seeds .. RESTBase: Remove restbase10(0[89]|10)
[MediaWiki-commits] [Gerrit] operations/puppet[production]: RESTBase: Remove restbase10(0[89]|10) from the list of seeds
Mobrovac has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/375825 ) Change subject: RESTBase: Remove restbase10(0[89]|10) from the list of seeds .. RESTBase: Remove restbase10(0[89]|10) from the list of