Completed
Pull Request — develop (#206)
by
unknown
03:23 queued 01:46
created

No notable changes

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

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