Passed
Push — master ( 04370b...06ba4e )
by Yannick
10:35 queued 10s
created

No notable changes

There were no notable changes in the changeset which was inspected.

4.51
▶   ± 0
Head
Yannick Warnier  
Merge remote-tracking branch 'origin/master'
1 more commit
Base
Alex Aragón  
fix tools view students - refs #2681