Done!
Cheers, Jaro
On 9/25/25 22:49, George Colpitts wrote:
Hello
I created a new bug, #26441, but mistakenly deleted
/label ~bug
/label ~"needs triage"
from the description and when I add them it doesn't seem to do anything. Can
somebody with the appropriate permissions add them now.
Thanks
George
_______________________________________________
ghc-devs mailing list -- [email protected]
To unsubscribe send an email to [email protected]
_______________________________________________
ghc-devs mailing list -- [email protected]
To unsubscribe send an email to [email protected]
