Change has been successfully merged Patch-set: 1 Status: merged Tag: autogenerated:gerrit:merged Reviewer: Gerrit User 1000074 <1000074@035e6965-6537-41bd-912c-053f3cf69326> Label: SUBM=+1, 75a352eae1b3ea0ccaa112d40a4c8989f24b9ce0 Submission-id: 40677 Submitted-with: OK Submitted-with: Rule-Name: gerrit~DefaultSubmitRule Submitted-with: OK: Code-Review: Gerrit User 1000010 <1000010@035e6965-6537-41bd-912c-053f3cf69326> Submitted-with: OK: Verified: Gerrit User 1000002 <1000002@035e6965-6537-41bd-912c-053f3cf69326> Attention: {"person_ident":"Gerrit User 1000074 \u003c1000074@035e6965-6537-41bd-912c-053f3cf69326\u003e","operation":"REMOVE","reason":"Change was submitted"}