GWicke has submitted this change and it was merged. Change subject: Update to 42db7c422f ......................................................................
Update to 42db7c422f Change-Id: I20154c50f1247a7e59b9c421d40f9bfb3e8a6f93 --- M restbase 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Eevans: Looks good to me, approved GWicke: Verified; Looks good to me, approved diff --git a/restbase b/restbase index 369c102..42db7c4 160000 --- a/restbase +++ b/restbase -Subproject commit 369c1021b451e67c075e2216fa3d823781b641c2 +Subproject commit 42db7c422f1c349a55bdecf0b0e7f217b775987c -- To view, visit https://gerrit.wikimedia.org/r/202224 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I20154c50f1247a7e59b9c421d40f9bfb3e8a6f93 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/services/restbase/deploy Gerrit-Branch: master Gerrit-Owner: GWicke <[email protected]> Gerrit-Reviewer: Eevans <[email protected]> Gerrit-Reviewer: GWicke <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
