Fix default user for usertags

It needs to have the same processing as all user addresses,
otherwise it will include the name and spaces etc.

Fixes: commit f13b9b4b919d80e6e90acf905452f8788e2b8c40

diff --git a/scripts/process b/scripts/process
index b40360323cd77f8e805013ec9180ff59406811c7..4db91807b3237574738698a293dc878e838cd98c 100755 (executable)
--- a/scripts/process
+++ b/scripts/process
@@ -699,7 +699,8 @@ if ($ref<0) { # new bug report
     $data->{msgid} = $header{'message-id'};
     writebug($ref, $data);
     # Deal with usertags
-    my $current_user = $replyto;
+    my $current_user;
+    unshift @usertag_bits, ['user', $replyto];
     for my $field (@usertag_bits) {
         my ($name, $value) = @$field;
         if ($name eq 'user') {