Mwalker has submitted this change and it was merged. Change subject: Actually update to latest master? ......................................................................
Actually update to latest master? Change-Id: Id2ed403d30aee864c00b9434bca8de91000a7407 --- M mw-ocg-bundler M mw-ocg-latexer 2 files changed, 0 insertions(+), 0 deletions(-) Approvals: Mwalker: Verified; Looks good to me, approved diff --git a/mw-ocg-bundler b/mw-ocg-bundler index 3fb0354..085d024 160000 --- a/mw-ocg-bundler +++ b/mw-ocg-bundler -Subproject commit 3fb0354af5a443f7b31284950193cc9171ff99b5 +Subproject commit 085d024cdc33d82fb2cc4b9d7a1560a24dd6910c diff --git a/mw-ocg-latexer b/mw-ocg-latexer index 8803c27..9bff3d6 160000 --- a/mw-ocg-latexer +++ b/mw-ocg-latexer -Subproject commit 8803c27b6a34a8437531105fb1b1d6ef623ba616 +Subproject commit 9bff3d6da3ad1255f5c9d5f8d8a190756545acfe -- To view, visit https://gerrit.wikimedia.org/r/136231 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id2ed403d30aee864c00b9434bca8de91000a7407 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/services/ocg-collection Gerrit-Branch: wmf-deploy Gerrit-Owner: Mwalker <mwal...@wikimedia.org> Gerrit-Reviewer: Mwalker <mwal...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
