![]() Abandoned no longer needed. Patch-set: 13 Status: abandoned Tag: autogenerated:gerrit:abandon Attention: {"person_ident":"Gerrit User 33717 \u003c33717@4a232e18-c5a9-48ee-94c0-e04e7cca6543\u003e","operation":"REMOVE","reason":"Change was abandoned"} |
||
---|---|---|
11356f6801af3c617833912decb83a6cdddf2f38 |