[Users] [PATCH] Handle additional Date header format

[Alexander Lyons Harkness]

Dates of this format: `Wed Jul  3 22:36:42 2019` were observed in
my inbox but were not handled by the existing code.

Signed-off-by: Alexander Lyons Harkness <me at bearbin.net>
---
 src/procheader.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/procheader.c b/src/procheader.c
index d384db00e..fd65ee58d 100644
--- a/src/procheader.c
+++ b/src/procheader.c
@@ -947,6 +947,10 @@ static gint procheader_scan_date_string(const gchar *str,
 			weekday, day, month, year, hh, mm, ss);
 	if (result == 7) return 0;
 
+	result = sscanf(str, "%3s %3s %d %2d:%2d:%2d %d",
+			weekday, month, day, hh, mm, ss, year);
+	if (result == 7) return 0;
+
 	result = sscanf(str, "%d %9s %d %2d:%2d:%2d",
 			day, month, year, hh, mm, ss);
 	if (result == 6) return 0;
-- 
2.23.0.rc1