diff --git a/docs/repository.html b/docs/repository.html index 784ae2cbd8f..1fb88bf7173 100644 --- a/docs/repository.html +++ b/docs/repository.html @@ -75,7 +75,8 @@ follow this procedure:
git send-mail