.pick_status.json: Mark 4b841cfec8 as denominated

This commit is contained in:
Eric Engestrom 2023-02-02 16:44:37 +00:00
parent 302186957b
commit eca296b07b

View file

@ -4441,7 +4441,7 @@
"description": "rusticl: fix build error with valgrind being enabled",
"nominated": true,
"nomination_type": 1,
"resolution": 0,
"resolution": 2,
"main_sha": null,
"because_sha": "20c90fed5a0ab0202ee1ef474c71cb816164a448"
},