OK to push to maint?

---
 ChangeLog    |    4 ++++
 tests/README |    3 ++-
 2 files changed, 6 insertions(+), 1 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 7b64d55..286c0be 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2010-09-14  Stefano Lattarini  <stefano.lattar...@gmail.com>
+
+       * tests/README: Tell not to put `gzip' in $required.
+
 2010-09-13  Ralf Wildenhues  <ralf.wildenh...@gmx.de>
 
        * HACKING: Hint at old commits with `git describe' output.
diff --git a/tests/README b/tests/README
index 7d74083..b4abfda 100644
--- a/tests/README
+++ b/tests/README
@@ -93,7 +93,8 @@ Do
   Cite the PR number (if any), and the original reporter (if any), so
   we can find or ask for information if needed.
 
-  Use `required=...' for required tools.
+  Use `required=...' for required tools.  But do not explicitly require
+  the `gzip' tool: it should just be taken for granted.
 
   Include ./defs in every test script (see existing tests for examples
   of how to do this).
-- 
1.7.1

Reply via email to