Skip to content
GitLab

Separated completeness and area_type fields

Closed Felix Delattre requested to merge feature/separate-area-type-and-completeness into master

Factored out the proposal and conversation from !12 (comment 56310)

\apporve @ds @nicgar @prehn

Merge request reports