0.12.1dev: Added a note about the ordering of priorities being used for coloring in ticket queries and reports.
Patch by Steffen Hoffmann. Closes #9405.
Authored by: rblank 2010-09-03
Parent: [r10042]
Child: [r10044]