Skip to content

Rename ProjectRoles and friends to ProjectRole etc#1220

Merged
david-crespo merged 1 commit intomainfrom role-enum-singularJun 16, 2022