[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#34868: [PATCH] gnu: coq-flocq: remove unnecessary return values
From: |
Ludovic Courtès |
Subject: |
bug#34868: [PATCH] gnu: coq-flocq: remove unnecessary return values |
Date: |
Tue, 19 Mar 2019 11:23:29 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
Hi,
Dan Frumin <address@hidden> skribis:
> ---
> gnu/packages/coq.scm | 9 +++------
> 1 file changed, 3 insertions(+), 6 deletions(-)
I added a commit log and applied. Thank you!
Ludo’.