Re: [tor-dev] Trac priorities and severities

Hi David. Personally I find the split severity and priority redundant but that's fine (milestone, tor version, and other fields are only applicable to core tor - it's easy to ignore yet another field). However, in this case you made it mandatory by giving it a default. Mind making priority optional? Cheers! -Damian