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