Update patch set 13
Change has been successfully merged Patch-set: 13 Status: merged Tag: autogenerated:gerrit:merged Reviewer: Gerrit User 22348 <22348@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Label: SUBM=+1 Submission-id: 801630-change-801630-5 Submitted-with: OK Submitted-with: OK: Verified: Gerrit User 22348 <22348@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Submitted-with: OK: Code-Review: Gerrit User 11166 <11166@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Submitted-with: OK: Workflow: Gerrit User 7144 <7144@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Attention: {"person_ident":"Gerrit User 7353 \u003c7353@4a232e18-c5a9-48ee-94c0-e04e7cca6543\u003e","operation":"REMOVE","reason":"Change was submitted"} Attention: {"person_ident":"Gerrit User 8833 \u003c8833@4a232e18-c5a9-48ee-94c0-e04e7cca6543\u003e","operation":"REMOVE","reason":"Change was submitted"} Attention: {"person_ident":"Gerrit User 18002 \u003c18002@4a232e18-c5a9-48ee-94c0-e04e7cca6543\u003e","operation":"REMOVE","reason":"Change was submitted"}
This commit is contained in:
parent
3f3aad4a6e
commit
dc42ea14f3