Completed
Pull Request — develop (#206)
by
unknown
04:10 queued 02:06
created

No notable changes

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

9.68
▶   ± 0
Head
Martin Roest  
Merge 2da561acdfb3a1c264d8076bdd5445b8004fc0f7 into c94242c09a86a4dfa9610563cdbc2aa20157feaf
1 more commit
Base
Martin Roest  
Merge pull request #205 from OpenConext/feature/move-to-php72