Change has been successfully merged Patch-set: 4 Status: merged Tag: autogenerated:gerrit:merged Reviewer: Gerrit User 1000004 <1000004@035e6965-6537-41bd-912c-053f3cf69326> Label: SUBM=+1, f86ca551fd9290e49b94722eaf6cc90edd53be7d Submission-id: 42274-HTTP-JSON Submitted-with: OK Submitted-with: Rule-Name: gerrit~DefaultSubmitRule Submitted-with: OK: Code-Review: Gerrit User 1000004 <1000004@035e6965-6537-41bd-912c-053f3cf69326> Submitted-with: OK: Verified: Gerrit User 1000002 <1000002@035e6965-6537-41bd-912c-053f3cf69326> Attention: {"person_ident":"Gerrit User 1000005 \u003c1000005@035e6965-6537-41bd-912c-053f3cf69326\u003e","operation":"REMOVE","reason":"Change was submitted"} Attention: {"person_ident":"Gerrit User 1000028 \u003c1000028@035e6965-6537-41bd-912c-053f3cf69326\u003e","operation":"REMOVE","reason":"Change was submitted"}