Subject: Re: [PATCH] gnu: virtuoso-ose: Update to 7.2.15

From: Andreas Enge <[email-masked]>
Date: Fri, 8 Aug 2025 09:56:31 +0200

Hello!

If you remove a patch, you need to mention it (three times actually) in
the commit message - three times because you also have to remove it from
the git repository and unregister it in the file gnu/local.mk.

Andreas
 
PS: I would recommend to move to codeberg, although this will not
    become mandatory before the end of the year.