Completed
Push — develop ( db1dc2...866b87 )
by Daan van
18:47 queued 16:11
created

No notable changes

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

9.88
▶   ± 0
Head
Daan van Renterghem  
Merge pull request #5 from OpenConext/maintenance/add-badges
1 more commit
Base
Daan van Renterghem  
Merge pull request #4 from OpenConext/bugfix/fix-target-platform