Patch for Gnatsweb v4.00: Reporter's email not changed

Hello,

This patch in gnatsweb v4.00 corrects the problem, that the Reporter's
e-mail was not changed in the PR.

Regards
-- Alwin


@@ -1780,15 +1780,15 @@
     # If Reply-To changed, we need to splice the change into the envelope.
     if($fields{'Reply-To'} ne $oldfields{'Reply-To'})
     {
-      if ($fields{'envelope'} =~ /^'Reply-To':/m)
+      if ($fields{'envelope'} =~ /^Reply-To:/m)
       {
         # Replace existing header with new one.
-        $fields{'envelope'} =~ s/^'Reply-To':.*$/'Reply-To':
$fields{'Reply-To'}/m;
+        $fields{'envelope'} =~ s/^Reply-To:.*$/Reply-To:
$fields{'Reply-To'}/m;
       }
       else
       {
         # Insert new header at end (blank line).  Keep blank line at end.
-        $fields{'envelope'} =~ s/^$/'Reply-To': $fields{'Reply-To'}\n/m;
+        $fields{'envelope'} =~ s/^$/Reply-To: $fields{'Reply-To'}\n/m;
       }
     }