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]
