Skip to content
Snippets Groups Projects

cri_frontend: make header menu configurable

Merged Nicolas Froger requested to merge configurable-site-name into develop