diff --git a/tools/config/header.tmpl b/tools/config/header.tmpl index cfbf5647cd..83c9adcca0 100644 --- a/tools/config/header.tmpl +++ b/tools/config/header.tmpl @@ -41,3 +41,4 @@ {% endfor %} {%- endif %} #endif +