Completed
Pull Request — develop (#208)
by
unknown
03:24 queued 01:24
created
9.67
▶   ± 0
Head
Peter Havekes  
Merge d7ec19059d930b1c52fc01cc4bca20d115cfea97 into c94242c09a86a4dfa9610563cdbc2aa20157feaf
24 more commits
Base
Martin Roest  
Merge pull request #205 from OpenConext/feature/move-to-php72