diff options
author | Manoj Srivastava <srivasta@debian.org> | 2020-05-22 20:05:37 -0700 |
---|---|---|
committer | Manoj Srivastava <srivasta@debian.org> | 2020-05-22 21:39:31 -0700 |
commit | 035291b7f18974925f9a85a41e057bdc462c75f1 (patch) | |
tree | d69056be1a045aec185393b52dadb6fc2d5f50c9 /doc/RELEASE.txt | |
parent | 9714b44a37dfc03aa00187726beea7ed8257415e (diff) | |
parent | 4e9b9c402ed95bf9a17fd6d795bc49bb4128a6fa (diff) |
Merge branch 'upstream'
Diffstat (limited to 'doc/RELEASE.txt')
-rw-r--r-- | doc/RELEASE.txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/RELEASE.txt b/doc/RELEASE.txt index ab082315..6a750168 100644 --- a/doc/RELEASE.txt +++ b/doc/RELEASE.txt @@ -1,8 +1,7 @@ Release Checklist: ================== -* Bump version number. +* Bump version number in tables.cc ("modules" variable). * Update changes.txt * Update IS_CVS in defines.h before tagging; undo post-tagging. * Check that system-wide installation succeeds. -* Disable C/C++ compiler sanitization options |