diff options
| -rw-r--r-- | src/tools/RELEASE_CHANGES | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/RELEASE_CHANGES b/src/tools/RELEASE_CHANGES index 788cd2170b..9257c73327 100644 --- a/src/tools/RELEASE_CHANGES +++ b/src/tools/RELEASE_CHANGES @@ -7,7 +7,7 @@ * Release notes update doc/src/sgml/release.sgml - re-generate HISTORY + HISTORY * Documentation document all new features |