Completed
Pull Request — develop (#3)
by Daan van
12:43 queued 10:03
created

Changes

1 new patch (Spacing) is available.
9.88
▶   ± 0
Head
Daan van Renterghem  
Merge 06921c2d50670bbd5115d944ebff3809e0703ed2 into db1dc21fdde19fed45a88e35e098917589cde89a
2 more commits
Base
Daan van Renterghem  
Merge pull request #4 from OpenConext/bugfix/fix-target-platform