diff options
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 75937a6..7b1da64 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -165,7 +165,7 @@ so you should have an issue number or a merge request ID to refer to. #### Pre-release steps -* Make sure CI (currently Travis-CI and Gitlab) is passing +* Make sure CI (currently Gitlab-CI) is passing * Update `NEWS` and the version number in `configure.ac`, and commit them #### Building and uploading the release |