jenkins-bot has submitted this change and it was merged. Change subject: Fix Guiders submodule (just a commit message change to the submodule). ......................................................................
Fix Guiders submodule (just a commit message change to the submodule). Change-Id: I73bf60ce4bb380d913857cd32f974dc660cd7b12 --- M modules/externals/mediawiki.libs.guiders/mediawiki.libs.guiders.submodule 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Mattflaschen: Looks good to me, approved jenkins-bot: Verified diff --git a/modules/externals/mediawiki.libs.guiders/mediawiki.libs.guiders.submodule b/modules/externals/mediawiki.libs.guiders/mediawiki.libs.guiders.submodule index 8b855d0..ac7968d 160000 --- a/modules/externals/mediawiki.libs.guiders/mediawiki.libs.guiders.submodule +++ b/modules/externals/mediawiki.libs.guiders/mediawiki.libs.guiders.submodule -Subproject commit 8b855d01042398d8ad0275f1fd9b07eb3d9054d0 +Subproject commit ac7968de2611ef24568a26af7490894ed9309fdb -- To view, visit https://gerrit.wikimedia.org/r/74529 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I73bf60ce4bb380d913857cd32f974dc660cd7b12 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/GuidedTour Gerrit-Branch: master Gerrit-Owner: Mattflaschen <[email protected]> Gerrit-Reviewer: Mattflaschen <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
