jenkins-bot has submitted this change and it was merged.

Change subject: Bump src to 0b365d51 for deploy.
......................................................................


Bump src to 0b365d51 for deploy.

Change-Id: I57d5ea7ef78e4d4688b1305cebfdc5fc3d1a56eb
---
M src
1 file changed, 0 insertions(+), 0 deletions(-)

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



diff --git a/src b/src
index 4ef9d6b..0b365d5 160000
--- a/src
+++ b/src
-Subproject commit 4ef9d6bee174cd1bba11f3bae3fb694dd0a910b3
+Subproject commit 0b365d516757fd495a419357e1300f0cdbed167a

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

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

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

Reply via email to