bug#58931: closed ([PATCH 0/2] Update clipmenu and improve it)

[GNU bug Tracking System]

Your message dated Tue, 14 Mar 2023 10:39:58 +0000
with message-id <87ttynzkdb.fsf@cbaines.net>
and subject line Re: [bug#58931] [PATCH v2 0/2] Update clipmenu and improve it
has caused the debbugs.gnu.org bug report #58931,
regarding [PATCH 0/2] Update clipmenu and improve it
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
58931: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=58931
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> 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
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [bug#58931] [PATCH v2 0/2] Update clipmenu and improve it Date: Tue, 14 Mar 2023 10:39:58 +0000 User-agent: mu4e 1.8.13; emacs 28.2

EuAndreh via Guix-patches via <guix-patches@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
Description: PGP signature

--- End Message ---