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

Previous Next

Package: guix-patches;

Reported by: EuAndreh <eu <at> euandre.org>

Date: Mon, 31 Oct 2022 20:10:02 UTC

Severity: normal

Tags: moreinfo, patch

Done: Christopher Baines <mail <at> cbaines.net>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: EuAndreh <eu <at> euandre.org>
To: 58931 <at> debbugs.gnu.org
Cc: EuAndreh <eu <at> euandre.org>
Subject: [bug#58931] [PATCH v2 0/2] Update clipmenu and improve it
Date: Tue, 29 Nov 2022 20:23:44 -0300

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(-)

-- 
2.38.1
This bug report was last modified 2 years and 120 days ago.

Previous Next

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