Update facets.properties
Merge commit 'v3.8.0'
Merge branch 'devel'