Completed
Pull Request — develop (#207)
by
unknown
03:59 queued 01:51
created
9.69
▶   ± 0
Head
Martin Roest  
Merge f4a4e1b7d5ca80341e0d070055a83ea1d4072b68 into c94242c09a86a4dfa9610563cdbc2aa20157feaf
7 more commits
Base
Martin Roest  
Merge pull request #205 from OpenConext/feature/move-to-php72