Hi Andy, On Sun, Feb 18 2024, Andy Tai wrote:
> multiple issues created... now I will go to merge them,.... You can do so with "forcemerge" via the control server but if no one has commented yet, I would instead close the duplicate bugs via messages to xxx-d...@debbugs.gnu.org that state: Duplicate of #YYY. Closing. Kind regards Felix