GNU bug report logs - #34868
[PATCH] gnu: coq-flocq: remove unnecessary return values

Previous Next

Package: guix-patches;

Reported by: Dan Frumin <dfrumin <at> cs.ru.nl>

Date: Fri, 15 Mar 2019 13:24:01 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

Message #10 received at 34868-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Dan Frumin <dfrumin <at> cs.ru.nl>
Cc: 34868-done <at> debbugs.gnu.org
Subject: Re: [bug#34868] [PATCH] gnu: coq-flocq: remove unnecessary return
 values
Date: Tue, 19 Mar 2019 11:23:29 +0100

Hi,

Dan Frumin <dfrumin <at> cs.ru.nl> skribis:

> ---
>  gnu/packages/coq.scm | 9 +++------
>  1 file changed, 3 insertions(+), 6 deletions(-)

I added a commit log and applied.  Thank you!

Ludo’.
This bug report was last modified 6 years and 127 days ago.

Previous Next

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