Merge branch 'micro' into maint

* micro:
  configure: remove an obsolete TODO comment
  post-release: micro version bump (1.13.3a)
  release: stable micro release 1.13.3
  typofix: fix grammaro in comments in t/tags-pr12372.sh

Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>

diff --git a/configure.ac b/configure.ac
index b90f6a4..1c3db78 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -251,9 +251,6 @@ exit 77" >&AS_MESSAGE_LOG_FD 2>&1; test $? -eq 77; }
 # would emit "P=1" into file with /usr/xpg4/bin/sh from Solaris 10 and
 # /bin/sh from SunOS 5.11 and OpenBSD 4.7.
 #
-# Finally, we look for weird bugs and portability problems mentioned in
-# the Autoconf manual, and reject shells that suffers from them. (TODO)
-#
 # Use '$am_score' to indicate the degree of acceptability of the shell.
 # A score of "10" means that the shell is good enough for our needs;
 # a score of "9" means that the shell has some minor bugs or limitation,

diff --git a/t/tags-pr12372.sh b/t/tags-pr12372.sh
index 657be60..6cf6e6e 100644 (file)
--- a/t/tags-pr12372.sh
+++ b/t/tags-pr12372.sh
@@ -63,7 +63,7 @@ $AUTOMAKE
 
 ./configure
 
-# Exuberant Ctags (at least version 5.8) do not generate any tags
+# Exuberant Ctags (at least version 5.8) doesn't generate any tags
 # for file extensions it doesn't recognize.  This can be fixed by
 # using the '--langmap' option.  But we must be careful, because
 # etags from Emacs (at least version 23.4) doesn't recognize that