diff --git a/domain-server/resources/web/header.html b/domain-server/resources/web/header.html index 0dc08e6e31..a37e9a6ff0 100644 --- a/domain-server/resources/web/header.html +++ b/domain-server/resources/web/header.html @@ -10,6 +10,7 @@ +