Slight optimization in User#role_for_project.
Authored by: jplang 2007-11-24
Parent: [r927]
Child: [r929]