Report forwarded
to sharlatanus@gmail.com, guix-patches@gnu.org: bug#79196; Package guix-patches.
(Thu, 07 Aug 2025 19:28:02 GMT) (full text, mbox, link).
Acknowledgement sent
to Frederick Muriuki Muriithi <fredmanglis@gmail.com>:
New bug report received and forwarded. Copy sent to sharlatanus@gmail.com, guix-patches@gnu.org.
(Thu, 07 Aug 2025 19:28:02 GMT) (full text, mbox, link).
To: Frederick Muriuki Muriithi <fredmanglis@gmail.com>
Cc: 79196@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.
Information forwarded
to guix-patches@gnu.org: bug#79196; Package guix-patches.
(Fri, 08 Aug 2025 11:31:02 GMT) (full text, mbox, link).
Subject: Re: [PATCH] gnu: virtuoso-ose: Update to 7.2.15
Date: Fri, 8 Aug 2025 06:29:57 -0500
Okay. Let me add those fixes, and create an account with codeberg.
I'll send a pull request there once I've made the changes, so this can
be marked as complete, I think.
Thanks.
Reply sent
to Andreas Enge <andreas@enge.fr>:
You have taken responsibility.
(Fri, 08 Aug 2025 12:13:02 GMT) (full text, mbox, link).
Notification sent
to Frederick Muriuki Muriithi <fredmanglis@gmail.com>:
bug acknowledged by developer.
(Fri, 08 Aug 2025 12:13:02 GMT) (full text, mbox, link).
Subject: Re: [PATCH] gnu: virtuoso-ose: Update to 7.2.15
Date: Fri, 8 Aug 2025 14:12:44 +0200
Am Fri, Aug 08, 2025 at 06:29:57AM -0500 schrieb Frederick Muriithi:
> Okay. Let me add those fixes, and create an account with codeberg.
> I'll send a pull request there once I've made the changes, so this can
> be marked as complete, I think.
Excellent, thanks!
Andreas
bug archived.
Request was from Debbugs Internal Request <help-debbugs@gnu.org>
to internal_control@debbugs.gnu.org.
(Sat, 06 Sep 2025 11:24:07 GMT) (full text, mbox, link).
Debbugs is free software and licensed under the terms of the
GNU Public License version 2. The current version can be
obtained from https://bugs.debian.org/debbugs-source/.