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

No notable changes

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

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