GNU bug report logs - #40229
[PATCH] gnu: clipmenu: Update to 6.0.1.

Previous Next

Package: guix-patches;

Reported by: Damien Cassou <damien <at> cassou.me>

Date: Wed, 25 Mar 2020 20:40:01 UTC

Severity: normal

Tags: patch

Done: Marius Bakke <mbakke <at> fastmail.com>

Bug is archived. No further changes may be made.

Full log


Message #14 received at 40229 <at> debbugs.gnu.org (full text, mbox):

From: Damien Cassou <damien <at> cassou.me>
To: Marius Bakke <mbakke <at> fastmail.com>, 40229 <at> debbugs.gnu.org
Subject: Re: [bug#40229] Acknowledgement ([PATCH] gnu: clipmenu: Update to
 6.0.1.)
Date: Mon, 30 Mar 2020 15:50:12 +0200
[Message part 1 (text/plain, inline)]
Marius Bakke <mbakke <at> fastmail.com> writes:
> Thanks!  Can you submit the indentation change as a separate commit?


changing indentation was only necessary because of the switch to the
tarball. It's not necessary anymore.

> The GitHub /archive/ URL's are not stable: the tarballs they generate
> may get regenerated in the future with different timestamps and break
> the checksum.  So please continue using git-fetch here.
>
> Can you send an updated patch?  TIA!

here it is.

-- 
Damien Cassou

"Success is the ability to go from one failure to another without
losing enthusiasm." --Winston Churchill
[0001-gnu-clipnotify-Update-to-6.0.1.patch (text/x-patch, attachment)]

This bug report was last modified 5 years and 132 days ago.

Previous Next


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