Skip to content

Feature/#296 user platform

Jan Delember requested to merge feature/#296_user_platform into develop

Since we are apparently in favor of option 1 on #301, we I don't see more to do here. Additional review by @jwendt and @ademiralp

Merge request reports