diff options
| -rw-r--r-- | docs/dev/release.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/dev/release.txt b/docs/dev/release.txt index 95bd3f681..753091238 100644 --- a/docs/dev/release.txt +++ b/docs/dev/release.txt @@ -147,6 +147,8 @@ reminded of them. * Update the web page (web/index.txt). * Run docutils-update on the server. + +* **Run alltests.py with svn version** * **Send announcement email to:** |