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 #8 received at 33978 <at> debbugs.gnu.org (full text, mbox):

From: Manolis Ragkousis <manolis837 <at> gmail.com>
To: 33978 <at> debbugs.gnu.org
Subject: Re: bug#33978: [PATCH] gnu: Add jose.
Date: Sat, 5 Jan 2019 17:01:23 +0200

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.