GNU bug report logs - #33978
[PATCH] gnu: Add jose.

Previous Next

Package: guix-patches;

Reported by: manolis837 <at> gmail.com

Date: Fri, 4 Jan 2019 19:51:01 UTC

Severity: normal

Tags: patch

Done: Manolis Ragkousis <manolis837 <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

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

From: Manolis Ragkousis <manolis837 <at> gmail.com>
To: 33978-done <at> debbugs.gnu.org
Subject: Re: [bug#33978] [PATCH] gnu: Add jose.
Date: Mon, 7 Jan 2019 10:18:15 +0200

Pushed.

On 1/5/19 5:01 PM, Manolis Ragkousis wrote:
> Hello everyone,
> 
> If nobody has any objections, I will push it to master.
> 
> Thank you,
> Manolis
> 
> 
>
This bug report was last modified 6 years and 138 days ago.

Previous Next

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