Update patch set 12

Abandoned

There is no known use case for this feature right now. We will retake it whenever it is needed.

Patch-set: 12
Status: abandoned
Tag: autogenerated:gerrit:abandon
Attention: {"person_ident":"Gerrit User 11628 \u003c11628@4a232e18-c5a9-48ee-94c0-e04e7cca6543\u003e","operation":"REMOVE","reason":"Change was abandoned"}
Attention: {"person_ident":"Gerrit User 4694 \u003c4694@4a232e18-c5a9-48ee-94c0-e04e7cca6543\u003e","operation":"REMOVE","reason":"Change was abandoned"}
This commit is contained in:
Gerrit User 32586 2022-10-25 14:31:28 +00:00 committed by Gerrit Code Review
parent 62c8420d66
commit 3cf242cbeb

Diff Content Not Available