jenkins-bot has submitted this change and it was merged. Change subject: Bump portals to master (Move inlined JS to a separate file) ......................................................................
Bump portals to master (Move inlined JS to a separate file) Change-Id: Ic826608dbb3b986a6f4c227282fc5557da99f142 --- M portals 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: MaxSem: Looks good to me, approved jenkins-bot: Verified diff --git a/portals b/portals index c0a8f67..b336739 160000 --- a/portals +++ b/portals -Subproject commit c0a8f678497630a23e84558b5e71f66ef38e93ee +Subproject commit b33673967afc65ec219bcd8c9832cb25b104bd68 -- To view, visit https://gerrit.wikimedia.org/r/268804 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ic826608dbb3b986a6f4c227282fc5557da99f142 Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: JGirault <[email protected]> Gerrit-Reviewer: MaxSem <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
