The graders info

Assigned grader: Abc Def
Graded by Abc Def at: Sat, Mar 4, 2017 15:10 

is currently only visible for managers. Let’s make it also visible for graders, reviewers and observers.

Submitted by Elmer van Chastelet on 7 March 2017 at 10:24