Passed
Push — 1.11.x ( c6e91c...ce048c )
by Julito
10:24
created

Changes

A
IndexManager::get_courses_of_user() removed
4.44
▶   ± 0
Head
Julio Montoya  
Minor - fix PHP warning
1 more commit
Base
Julio Montoya  
Minor - Flint fixes