Passed
Pull Request — master (#6120)
by
unknown
21:29 queued 11:12
created

No notable changes

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

5.13
▶   ± 0
Head
dependabot[bot]  
Merge 06776def902af430bf7a45b8fbd5e03800693353 into 5fe4bdec29adc47d8d1ebfb6380a92594ec3a395
1 more commit
Base
Yannick Warnier  
Language: Update language terms in gradebook, update PHPDoc, remove useless conditions