[Agda-dev] Critical priority

[Ulf Norell]

Previously we've used "critical" priority to mean something that needs to
be fixed right away because it's preventing people from using the affected
branch. I think that's a good label to have, so I don't agree with marking
release blockers as critical. The milestone tagging ought to be sufficient
for identifying which issues need to be fixed before release.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20150216/3cef9f97/attachment.html