GNU bug report logs - #79196
[PATCH] gnu: virtuoso-ose: Update to 7.2.15

Previous Next

Full log

Message #8 received at 79196 <at> debbugs.gnu.org (full text, mbox):

From: Andreas Enge <andreas <at> enge.fr>
To: Frederick Muriuki Muriithi <fredmanglis <at> gmail.com>
Cc: 79196 <at> debbugs.gnu.org
Subject: Re: [PATCH] gnu: virtuoso-ose: Update to 7.2.15
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.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.