From 6dca132834a08e345a3c7a7c92bc021627e423c3 Mon Sep 17 00:00:00 2001
From: Paul Wise <pabs@debian.org>
Date: Fri, 12 Mar 2021 08:56:36 +0800
Subject: [PATCH] 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
---
 scripts/process | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/process b/scripts/process
index d3e9238..66fa434 100755
--- 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') {
-- 
2.39.2