Passed
Push — master ( e44b52...a0ff3c )
by Yannick
06:57
created

No notable changes

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

4.68
▶   ± 0
Head
Yannick Warnier  
User: Fix SQL error when querying get_user_id_of_course_admin_or_session_admin() as admin. Improve PHPDoc.
1 more commit
Base
christianbeeznest  
Merge pull request #5217 from christianbeeznest/GH-5097