jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/373568 )

Change subject: Bump src to 538dad7 for deploy
......................................................................


Bump src to 538dad7 for deploy

Change-Id: I7d026ccc9ba54ba0ca28843d7fadf3a8f4ab75b2
---
M src
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  jenkins-bot: Verified
  Arlolra: Looks good to me, approved



diff --git a/src b/src
index 28a9a22..538dad7 160000
--- a/src
+++ b/src
@@ -1 +1 @@
-Subproject commit 28a9a22b8d213601dbbeb47b01ce8a6c76d75bf7
+Subproject commit 538dad7f7ce614479d6abf3b64b7f1907349b24b

-- 
To view, visit https://gerrit.wikimedia.org/r/373568
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I7d026ccc9ba54ba0ca28843d7fadf3a8f4ab75b2
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/services/parsoid/deploy
Gerrit-Branch: master
Gerrit-Owner: Subramanya Sastry <[email protected]>
Gerrit-Reviewer: Arlolra <[email protected]>
Gerrit-Reviewer: Subramanya Sastry <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to