[MediaWiki-commits] [Gerrit] operations/puppet[production]: RESTBase: Remove restbase10(0[89]|10) from the list of seeds

2017-09-04 Thread Filippo Giunchedi (Code Review)
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

2017-09-04 Thread Mobrovac (Code Review)
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