Update patch set 12

Change has been successfully merged

Patch-set: 12
Status: merged
Tag: autogenerated:gerrit:merged
Reviewer: Gerrit User 22348 <22348@4a232e18-c5a9-48ee-94c0-e04e7cca6543>
Label: SUBM=+1, 3a6171eec47f2e5b6d49b3b882ff1fc43886a39b
Submission-id: 873231-jaeger
Submitted-with: OK
Submitted-with: Rule-Name: gerrit~DefaultSubmitRule
Submitted-with: OK: Verified: Gerrit User 22348 <22348@4a232e18-c5a9-48ee-94c0-e04e7cca6543>
Submitted-with: OK: Code-Review: Gerrit User 9816 <9816@4a232e18-c5a9-48ee-94c0-e04e7cca6543>
Submitted-with: OK: Workflow: Gerrit User 9816 <9816@4a232e18-c5a9-48ee-94c0-e04e7cca6543>
Submitted-with: MAY: Backport-Candidate
Attention: {"person_ident":"Gerrit User 7730 \u003c7730@4a232e18-c5a9-48ee-94c0-e04e7cca6543\u003e","operation":"REMOVE","reason":"Change was submitted"}
This commit is contained in:
Gerrit User 22348 2023-02-16 15:26:41 +00:00 committed by Gerrit Code Review
parent db8bb0f1d1
commit 5f86153407
1 changed files with 4 additions and 0 deletions

View File

@ -0,0 +1,4 @@
{
"comments": [],
"submitRequirementResults": []
}