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

Previous Next

Full log

View this message in rfc822 format

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

[Message part 1 (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)]

Previous Next

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