Change 'time stamp' to 'timestamp'

Caught by make syntax-check

1 files changed, 1 insertions, 1 deletions

diff --git a/bootstrap b/bootstrap
index ce90bc4..8d45f7f 100755
--- a/bootstrap
+++ b/bootstrap
@@ -762,7 +762,7 @@ symlink_to_dir()
       # Leave any existing symlink alone, if it already points to the source,
       # so that broken build tools that care about symlink times
       # aren't confused into doing unnecessary builds.  Conversely, if the
-      # existing symlink's time stamp is older than the source, make it afresh,
+      # existing symlink's timestamp is older than the source, make it afresh,
       # so that broken tools aren't confused into skipping needed builds.  See
       # <http://lists.gnu.org/archive/html/bug-gnulib/2011-05/msg00326.html>.
       test -h "$dst" &&