Merge develop into master #1

Merged
SemvdH merged 40 commits from develop into master 2020-09-11 13:34:57 +00:00
SemvdH commented 2020-09-11 09:13:24 +00:00 (Migrated from github.com)

The data converter is merged into develop, so this can be merged into master

The data converter is merged into develop, so this can be merged into master
BartvanGool (Migrated from github.com) reviewed 2020-09-11 09:13:24 +00:00
fdegroot1 (Migrated from github.com) reviewed 2020-09-11 09:13:24 +00:00
rpjvanaert (Migrated from github.com) reviewed 2020-09-11 09:13:24 +00:00
shinichihezemans (Migrated from github.com) approved these changes 2020-09-11 13:34:46 +00:00
shinichihezemans (Migrated from github.com) left a comment

me want to go home

me want to go home
Sign in to join this conversation.
No description provided.