jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/345683 )
Change subject: Bump src to 95b84701 for deb 0.7.0 release ...................................................................... Bump src to 95b84701 for deb 0.7.0 release Change-Id: I57b5ce5e6032dca76b33e805388bc9f2ca5be39b --- 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 b1b2714..95b8470 160000 --- a/src +++ b/src @@ -1 +1 @@ -Subproject commit b1b271460c341e844e21641b5307794cf4dd7feb +Subproject commit 95b847013e2fba783716dfab644acda2ce75728d -- To view, visit https://gerrit.wikimedia.org/r/345683 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I57b5ce5e6032dca76b33e805388bc9f2ca5be39b Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/services/parsoid/deploy Gerrit-Branch: master Gerrit-Owner: Subramanya Sastry <ssas...@wikimedia.org> Gerrit-Reviewer: Arlolra <abrea...@wikimedia.org> Gerrit-Reviewer: C. Scott Ananian <canan...@wikimedia.org> Gerrit-Reviewer: Subramanya Sastry <ssas...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
