Update patch set 13

Change has been successfully merged

Patch-set: 13
Status: merged
Tag: autogenerated:gerrit:merged
Reviewer: Gerrit User 22348 <22348@4a232e18-c5a9-48ee-94c0-e04e7cca6543>
Label: SUBM=+1
Submission-id: 852556-backport_ussuri
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 30566 <30566@4a232e18-c5a9-48ee-94c0-e04e7cca6543>
Submitted-with: OK: Workflow: Gerrit User 30566 <30566@4a232e18-c5a9-48ee-94c0-e04e7cca6543>
This commit is contained in:
Gerrit User 22348 2022-08-10 11:23:39 +00:00 committed by Gerrit Code Review
parent bc30c394f0
commit bacd74b53b

Diff Content Not Available