Weight field in issues too fine grained?
ben at smart-cactus.org
Tue Jul 2 16:12:49 UTC 2019
Ben Gamari <ben at smart-cactus.org> writes:
> Right. I would suggest that we convert the weight field into two
> (mutually exclusive) labels:
> * P::High would be category (1)
> * P::Low would be category (2)
> * No P::* label would imply categoy (3)
> Does this sound reasonable to everyone? I could cobble together a script
> to make this change in about 10 minutes if so.
I have posted this script here .
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 487 bytes
Desc: not available
More information about the ghc-devs