diff options
| -rw-r--r-- | RELEASE.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/RELEASE.md b/RELEASE.md index c4788b224..cd1b0e9d6 100644 --- a/RELEASE.md +++ b/RELEASE.md @@ -5,6 +5,7 @@ - [ ] bump version in configure.ac - [ ] add entry to ChangeLog - [ ] add entry to debian/changelog +- [ ] check CI (contrib/ci, buildbot.taler.net) - [ ] tag with dev tag, test in staging environment - [ ] tag with release tag - [ ] upload to GNU mirrors |