Ppchelko has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/392420 )
Change subject: Update change-propagation to 1a8de23 ...................................................................... Update change-propagation to 1a8de23 List of changes: e636f82 Optimise commited offset choosing 1a8de23 Update commit offset choosing to try starting with finishedMsg Change-Id: Ia20d2f8e44eaae0fdb3b2bceb67ae5e8894ce02a --- M src 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Ppchelko: Verified; Looks good to me, approved diff --git a/src b/src index 15c62e1..1a8de23 160000 --- a/src +++ b/src @@ -1 +1 @@ -Subproject commit 15c62e10b26ca7ed9f390fd5432587df51fa0ad3 +Subproject commit 1a8de23a26dd0843c3b4edc694043ebef1fe9439 -- To view, visit https://gerrit.wikimedia.org/r/392420 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia20d2f8e44eaae0fdb3b2bceb67ae5e8894ce02a Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/services/change-propagation/jobqueue-deploy Gerrit-Branch: master Gerrit-Owner: Ppchelko <ppche...@wikimedia.org> Gerrit-Reviewer: Mobrovac <mobro...@wikimedia.org> Gerrit-Reviewer: Ppchelko <ppche...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits