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 d3e9238d2acb002e896418f0cdc0844e1d02b3f9..66fa43428341ca4b609b27cd80a70195dcdd7e8c 100755 (executable)
--- a/scripts/process
+++ b/scripts/process
@@ -700,7 +700,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') {