[MediaWiki-commits] [Gerrit] filippo: let .bash_profile call .bashrc - change (operations/puppet)

Filippo Giunchedi has uploaded a new change for review. https://gerrit.wikimedia.org/r/155705 Change subject: filippo: let .bash_profile call .bashrc .. filippo: let .bash_profile call .bashrc Change-Id:

[MediaWiki-commits] [Gerrit] filippo: let .bash_profile call .bashrc - change (operations/puppet)

Filippo Giunchedi has submitted this change and it was merged. Change subject: filippo: let .bash_profile call .bashrc .. filippo: let .bash_profile call .bashrc Change-Id: I1e3548706d724a873ec442f68705e09bb9f905f9 --- M