diff options
| author | Miles Bader <miles@gnu.org> | 2007-10-28 09:18:39 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 2007-10-28 09:18:39 +0000 |
| commit | 01c52d3165ffec363014bd9033ea2c317d32d6d6 (patch) | |
| tree | 5d90be562d45a88f172483b9a33ab4ada197d772 /doc/misc/sieve.texi | |
| parent | ccae01a639d69bc215e4af2835131cda3141e498 (diff) | |
| download | emacs-01c52d3165ffec363014bd9033ea2c317d32d6d6.tar.gz emacs-01c52d3165ffec363014bd9033ea2c317d32d6d6.tar.bz2 emacs-01c52d3165ffec363014bd9033ea2c317d32d6d6.zip | |
Update Gnus to No Gnus 0.7 from the Gnus CVS trunk
Revision: emacs@sv.gnu.org/emacs--devo--0--patch-911
Diffstat (limited to 'doc/misc/sieve.texi')
| -rw-r--r-- | doc/misc/sieve.texi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/misc/sieve.texi b/doc/misc/sieve.texi index af2132e4997..9c31f77f4d8 100644 --- a/doc/misc/sieve.texi +++ b/doc/misc/sieve.texi @@ -236,9 +236,9 @@ if address "sender" "owner-w3-beta@@xemacs.org" @{ @} @end example -A few mailing lists do not use the @samp{Sender:} header, but does -contain some unique identifier in some other header. The following is -not a complete script, it assumes that @code{fileinto} has already been +A few mailing lists do not use the @samp{Sender:} header, but has a +unique identifier in some other header. The following is not a +complete script, it assumes that @code{fileinto} has already been required. @example |