diff --git a/user.xml b/user.xml index 8cfebacdc5..5c1e81acbd 100644 --- a/user.xml +++ b/user.xml @@ -38,7 +38,7 @@ this repository contains the full copyright notices and license terms. --> - +