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 883c51240f94ddd3e77e60d193264a19f6d02911..f4af310d57ede6f62dd961445d0ff6fab8a1a547 100755 (executable)
--- a/scripts/process
+++ b/scripts/process
@@ -684,7 +684,8 @@ if ($ref<0) { # new bug report
     writebug($ref, $data);
     $data->{bug_num} = $ref;
     # 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') {