.pick_status.json: Mark 93f9afa1e0 as denominated

This commit is contained in:
Eric Engestrom 2024-08-04 22:42:50 +02:00
parent 49a18092b0
commit 63052daa2c

View file

@ -1104,7 +1104,7 @@
"description": "ci: remove dead start-x.sh script",
"nominated": true,
"nomination_type": 1,
"resolution": 0,
"resolution": 2,
"main_sha": null,
"because_sha": "599e8bf9212a1ef2f85a62ce48339aea0d365072",
"notes": null