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 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
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.