Patch for missing space in Date: header

[Yngve Svendsen]

In Gnats 3.113, file-pr sends out copies of PRs with a missing space after 
Date: in the mail headers, like "Date:Mon, 15 Jan 2001 12:53:47 +0100". 
This causes problems for many mail clients. The following patch against 
3.113 fixes this:

*** file-pr-orig.c      Mon Jan 15 16:18:26 2001
--- file-pr.c   Mon Jan 15 16:19:07 2001
***************
*** 788,794 ****
        if (i == SUBJECT)
        continue;
        if (*header_value(i))
!       fprintf(msg, "%s%s", header_name(i), header_value(i));
      }
  #endif /* DONT_USE_RESENT */

--- 788,794 ----
        if (i == SUBJECT)
        continue;
        if (*header_value(i))
!       fprintf(msg, "%s %s", header_name(i), header_value(i));
      }
  #endif /* DONT_USE_RESENT */





Yngve Svendsen
IS Engineer
Clustra AS, Trondheim, Norway
address@hidden
Cell.: +47 913 915 02