subject:"\[MediaWiki\-commits\] \[Gerrit\] Add a vagrant role for the SandboxLink extension \- change \(mediawiki\/vagrant\)"

[MediaWiki-commits] [Gerrit] Add a vagrant role for the SandboxLink extension - change (mediawiki/vagrant)

2015-05-18 Thread jenkins-bot (Code Review)

jenkins-bot has submitted this change and it was merged. Change subject: Add a vagrant role for the SandboxLink extension .. Add a vagrant role for the SandboxLink extension Change-Id: I276e5e133033c6cacaf5dabff71c1184ce5d02bf

[MediaWiki-commits] [Gerrit] Add a vagrant role for the SandboxLink extension - change (mediawiki/vagrant)

2015-05-15 Thread Mr. Stradivarius (Code Review)

Mr. Stradivarius has uploaded a new change for review. https://gerrit.wikimedia.org/r/211361 Change subject: Add a vagrant role for the SandboxLink extension .. Add a vagrant role for the SandboxLink extension Change-Id: