Merge branch 'better-api-generation' into 'master'
Better api generation See merge request !13
This diff is collapsed.
GitLab update scheduled for Friday, July 8th between 08:15 and 08:45 CET. If unpleasant, please contact René or Martin.
Better api generation See merge request !13