7d7d86fc32
Change has been successfully merged Patch-set: 28 Status: merged Tag: autogenerated:gerrit:merged Reviewer: Gerrit User 22348 <22348@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Label: SUBM=+1, e5e6932c86b7bcd7c0b8be6acc94f0246b3c3624 Submission-id: 912814 Submitted-with: OK Submitted-with: Rule-Name: gerrit~DefaultSubmitRule Submitted-with: MAY: Verified: Gerrit User 22348 <22348@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Submitted-with: MAY: Code-Review: Gerrit User 21040 <21040@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Submitted-with: MAY: Workflow: Gerrit User 21040 <21040@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Attention: {"person_ident":"Gerrit User 34520 \u003c34520@4a232e18-c5a9-48ee-94c0-e04e7cca6543\u003e","operation":"REMOVE","reason":"Change was submitted"} |
||
---|---|---|
febd6b1cd690f6d8bed9ed0a2ff43312f73e07f0 |