Update patch set 1
Change has been successfully merged Patch-set: 1 Status: merged Tag: autogenerated:gerrit:merged Reviewer: Gerrit User 22348 <22348@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Label: SUBM=+1 Submission-id: 858100-command-docs Submitted-with: OK Submitted-with: Rule-Name: gerrit~DefaultSubmitRule Submitted-with: OK: Verified: Gerrit User 22348 <22348@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Submitted-with: OK: Code-Review: Gerrit User 308 <308@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Submitted-with: OK: Workflow: Gerrit User 308 <308@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Attention: {"person_ident":"Gerrit User 5263 \u003c5263@4a232e18-c5a9-48ee-94c0-e04e7cca6543\u003e","operation":"REMOVE","reason":"Change was submitted"}
This commit is contained in:
parent
c0b11a2941
commit
513104c5a9