Comment 3 for bug 3537

Revision history for this message
Christian Reis (kiko) wrote :

We've decided that Priority headers are not strictly required in Sources files. There should be no tool that actually uses them.