Raimond Spekking has submitted this change and it was merged.
Change subject: Fix path
..
Fix path
Change-Id: I838c31c5da7125e0880ddac6e763d109636e1911
---
M groups/MediaWiki/mediawiki-extensions.txt
1 file changed, 1 insertion
Raimond Spekking has uploaded a new change for review.
https://gerrit.wikimedia.org/r/268863
Change subject: Fix path
..
Fix path
Change-Id: I838c31c5da7125e0880ddac6e763d109636e1911
---
M groups/MediaWiki/mediawiki-extension
jenkins-bot has submitted this change and it was merged.
Change subject: Fix path
..
Fix path
Change-Id: I819b92e630297d4064e3b8a37ffce8ca7ec64807
---
M bin/repoexport
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Siebrand has uploaded a new change for review.
https://gerrit.wikimedia.org/r/61490
Change subject: Fix path
..
Fix path
Change-Id: I819b92e630297d4064e3b8a37ffce8ca7ec64807
---
M bin/repoexport
1 file changed, 1 insertion(+