Skip to content

GitLab

Merge branch 'feature/add-facets' into 'develop' 

Add facets

See merge request !422
7 jobs for develop in 6 minutes and 32 seconds (queued for 3 seconds)
c40e3cb3
1 related merge request: !423 Release 15-02-2021 Part IV