Hi. I’m the creator of this github issue. 4 days ago, the repository owner removed the “needinfo” label, but the “needinfo” label still shows against that issue. Why is that, and is there anything that I (or someone else) can do to correct this? Thanks!
(PS: I’ve seen this - is it related?)