Update patch set 13

Patch Set 13: Code-Review+1

Patch-set: 13
Reviewer: Gerrit User 8042 <8042@4a232e18-c5a9-48ee-94c0-e04e7cca6543>
Label: Code-Review=+1
Attention: {"person_ident":"Gerrit User 8042 \u003c8042@4a232e18-c5a9-48ee-94c0-e04e7cca6543\u003e","operation":"REMOVE","reason":"Jiří Stránský replied on the change"}
This commit is contained in:
Gerrit User 8042 2021-11-04 10:36:48 +00:00 committed by Gerrit Code Review
parent 7387f998ac
commit 8de2905423

Diff Content Not Available