Update patch set 6
Change has been successfully merged Patch-set: 6 Status: merged Tag: autogenerated:gerrit:merged Reviewer: Gerrit User 22348 <22348@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Label: SUBM=+1 Submission-id: 815265-static-scheduler Submitted-with: OK Submitted-with: OK: Verified: Gerrit User 22348 <22348@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Submitted-with: OK: Code-Review: Gerrit User 8313 <8313@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Submitted-with: OK: Workflow: Gerrit User 11975 <11975@4a232e18-c5a9-48ee-94c0-e04e7cca6543> Submitted-with: MAY: Review-Priority Attention: {"person_ident":"Gerrit User 13252 \u003c13252@4a232e18-c5a9-48ee-94c0-e04e7cca6543\u003e","operation":"REMOVE","reason":"Change was submitted"}
This commit is contained in:
parent
b03fea28a8
commit
ca76fbd16b