1 files changed, 6 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 1d642ca30f..cc3c89fd14 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,11 @@
 2022-07-31  Bruno Haible  <bruno@clisp.org>
 
+	gnulib-tool.py: Improve some error messages.
+	* gnulib-tool.py (main): Write "*** Stop." instead of "*** Exit.".
+	(__main__): Print an error message for GLError 5, 13, 14, 15, 16, 17, 18.
+	* pygnulib/GLError.py (GLError.__repr__): Compute one error message,
+	not 19.
+
 	gnulib-tool.py: Write errors to stderr, not stdout.
 	* pygnulib/constants.py: Write error messages to stderr, not stdout.