diff --git a/docs/GitLab_howto.pdf b/docs/GitLab_howto.pdf index 8762bd21638b2f9af4361fb7f38388583bad7a50..6b4adcc775250756d6c1df9443169b3f172b0a72 100644 Binary files a/docs/GitLab_howto.pdf and b/docs/GitLab_howto.pdf differ