Completed
Pull Request — develop (#1675)
by Christian
24s
created

No notable changes

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

???
Head
Christian Münch  
Merge 08b87a5cb119033fc66e9a65f59178a042df20d9 into 429fb130cee8d2b38945fa85789e7b794caea90c
1 more commit
Base
Christian Münch  
test: include tests directory in platform tests configuration