Completed
Pull Request — develop (#3)
by Daan van
13:31 queued 10:54
created

No notable changes

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

9.88
▶   ± 0
Head
Daan van Renterghem  
Merge c0b27d68ccc12e9a145f5c3dae3ee9c6d0c204d0 into db1dc21fdde19fed45a88e35e098917589cde89a
3 more commits
Base
Daan van Renterghem  
Merge pull request #4 from OpenConext/bugfix/fix-target-platform