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 0bb57591522d9390f79a85dedc80e61c347218ca..d98cafa8a59f80982907ca9b79986880f6b02db9 100755 (executable)
--- a/scripts/process
+++ b/scripts/process
@@ -705,7 +705,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') {