GNU bug report logs - #58931
[PATCH 0/2] Update clipmenu and improve it

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: EuAndreh <eu <at> euandre.org>
Subject: bug#58931: closed (Re: [bug#58931] [PATCH v2 0/2] Update clipmenu
 and improve it)
Date: Tue, 14 Mar 2023 10:41:02 +0000

[Message part 1 (text/plain, inline)]

Your bug report

#58931: [PATCH 0/2] Update clipmenu and improve it

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 58931 <at> debbugs.gnu.org.

-- 
58931: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=58931
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Christopher Baines <mail <at> cbaines.net>
To: EuAndreh <eu <at> euandre.org>
Cc: 58931-done <at> debbugs.gnu.org, guix-patches <at> gnu.org
Subject: Re: [bug#58931] [PATCH v2 0/2] Update clipmenu and improve it
Date: Tue, 14 Mar 2023 10:39:58 +0000

[Message part 3 (text/plain, inline)]

EuAndreh via Guix-patches via <guix-patches <at> gnu.org> writes:

> Indeed the patch was triggering lint warnings.
>
> These two do just the same thing, but now without changing from
> git-fetch to url-fetch.
>
> EuAndreh (2):
>   gnu: clipmenu: Update to 6.2.0.
>   gnu: clipmenu: Improve package style.
>
>  gnu/packages/xdisorg.scm | 95 ++++++++++++++++++++--------------------
>  1 file changed, 47 insertions(+), 48 deletions(-)

Sorry for the delay in pushing these, I've finally pushed them to master
as 15bab8f1f70a64d2ba775e9083d39d91a6f22221.

Thanks,

Chris

[signature.asc (application/pgp-signature, inline)]

[Message part 5 (message/rfc822, inline)]

From: EuAndreh <eu <at> euandre.org>
To: guix-patches <at> gnu.org
Cc: EuAndreh <eu <at> euandre.org>
Subject: [PATCH 0/2] Update clipmenu and improve it
Date: Mon, 31 Oct 2022 17:08:39 -0300

Refactor build code, using g-expressions.  A `git diff -w` (-w for
"whitespace") makes it clearer that those are the changes.

EuAndreh (2):
  gnu: clipmenu: Update to 6.2.0.
  gnu: clipmenu: Improve package style.

 gnu/packages/xdisorg.scm | 146 +++++++++++++++++++--------------------
 1 file changed, 71 insertions(+), 75 deletions(-)

-- 
2.38.0

Previous Next

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