GWicke has submitted this change and it was merged. Change subject: Pull in further cleanup ......................................................................
Pull in further cleanup Change-Id: I11a6658a4532fdfb8fc40e1e77275ddb56bdcf52 --- M restbase 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: GWicke: Verified; Looks good to me, approved diff --git a/restbase b/restbase index 74beac0..8f1d31a 160000 --- a/restbase +++ b/restbase -Subproject commit 74beac0ad9b42e7bdce613b7cb3ce5f460a613c2 +Subproject commit 8f1d31a19bd361f8724627014218162f25be0e3d -- To view, visit https://gerrit.wikimedia.org/r/189291 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I11a6658a4532fdfb8fc40e1e77275ddb56bdcf52 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/services/restbase/deploy Gerrit-Branch: master Gerrit-Owner: GWicke <[email protected]> Gerrit-Reviewer: GWicke <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
