From 6f1eead89c678724e80326210d5b52c1434405a5 Mon Sep 17 00:00:00 2001
From: Tim Retout <diocles@gnu.org>
Date: Sun, 10 Jul 2011 02:47:53 +0100
Subject: [PATCH] states/hl/mail.st: Support extended mail headers.

Signed-off-by: Tim Retout <diocles@gnu.org>
---
 ChangeLog         | 3 +++
 states/hl/mail.st | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 7793554..55ceb06 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2011-07-10  Tim Retout  <diocles@gnu.org>
 
+	* states/hl/mail.st: Support extended mail headers.
+	Savannah bug #25440.
+
 	* src/main.c (usage): Clarify documentation for short forms of
 	optional arguments.
 
diff --git a/states/hl/mail.st b/states/hl/mail.st
index 822539b..d9565c4 100644
--- a/states/hl/mail.st
+++ b/states/hl/mail.st
@@ -27,7 +27,7 @@ state mail_header extends Highlight
   END {
     comment_face (true);
   }
-  /:/ {
+  /[ \t:]/ {
     language_print ($0);
     return;
   }
-- 
2.34.1