Lucas Werkmeister (WMDE) has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/353290 )
Change subject: Update GUI ...................................................................... Update GUI Change-Id: I2ef0b5b8e0c86a1ad3d670369722165783004883 --- M gui 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Lucas Werkmeister (WMDE): Verified; Looks good to me, approved diff --git a/gui b/gui index 02455be..ececcc8 160000 --- a/gui +++ b/gui @@ -1 +1 @@ -Subproject commit 02455be497f27769d4457a0fe3d8a4dd3f9a09ab +Subproject commit ececcc846bb1ed66fbd79e5ee19aa4cf10b544e3 -- To view, visit https://gerrit.wikimedia.org/r/353290 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I2ef0b5b8e0c86a1ad3d670369722165783004883 Gerrit-PatchSet: 1 Gerrit-Project: wikidata/query/deploy Gerrit-Branch: master Gerrit-Owner: Gehel <guillaume.leder...@wikimedia.org> Gerrit-Reviewer: Jonas Kress (WMDE) <jonas.kr...@wikimedia.de> Gerrit-Reviewer: Lucas Werkmeister (WMDE) <lucas.werkmeis...@wikimedia.de> Gerrit-Reviewer: Smalyshev <smalys...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
