# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 810675089 0
# Node ID 2511f0ccd986d0cfd2e641d7ee99b47650d74e32
# Parent  ac84d1c8c7706b60ee0ea895b7b42b9fc7bdeb08
(Fdecode_time): Doc fix.

diff -r ac84d1c8c770 -r 2511f0ccd986 src/editfns.c
--- a/src/editfns.c	Fri Sep 08 20:39:17 1995 +0000
+++ b/src/editfns.c	Sat Sep 09 19:31:29 1995 +0000
@@ -652,7 +652,8 @@
 The optional SPECIFIED-TIME should be a list of (HIGH LOW . IGNORED)\n\
 or (HIGH . LOW), as from `current-time' and `file-attributes', or `nil'\n\
 to use the current time.  The list has the following nine members:\n\
-SEC is an integer between 0 and 59.  MINUTE is an integer between 0 and 59.\n\
+SEC is an integer between 0 and 60; SEC is 60 for a leap second, which\n\
+only some operating systems support.  MINUTE is an integer between 0 and 59.\n\
 HOUR is an integer between 0 and 23.  DAY is an integer between 1 and 31.\n\
 MONTH is an integer between 1 and 12.  YEAR is an integer indicating the\n\
 four-digit year.  DOW is the day of week, an integer between 0 and 6, where\n\