# HG changeset patch
# User Luc Teirlinck <teirllm@auburn.edu>
# Date 1118952864 0
# Node ID da42b07587f14654061a3e4aa6ef82525f1bd363
# Parent  8981e470ace714487189cdeefb4b416fa132acde
(Timers): Timers should save and restore the match data if they change it.

diff -r 8981e470ace7 -r da42b07587f1 lispref/os.texi
--- a/lispref/os.texi	Thu Jun 16 20:06:48 2005 +0000
+++ b/lispref/os.texi	Thu Jun 16 20:14:24 2005 +0000
@@ -1375,6 +1375,9 @@
 changes from user commands' changes and prevent a single undo entry
 from growing to be quite large.
 
+  If a timer function calls functions that can change the match data,
+it should save and restore the match data.  @xref{Saving Match Data}.
+
 @deffn Command run-at-time time repeat function &rest args
 This sets up a timer that calls the function @var{function} with
 arguments @var{args} at time @var{time}.  If @var{repeat} is a number