GNU bug report logs - #61518
Replace psi with psi-plus

Previous Next

Package: guix-patches;

Reported by: Leo Famulari <leo <at> famulari.name>

Date: Tue, 14 Feb 2023 21:53:01 UTC

Severity: normal

Tags: patch

Done: Leo Famulari <leo <at> famulari.name>

Bug is archived. No further changes may be made.

Full log

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

From: Leo Famulari <leo <at> famulari.name>
To: 61518-done <at> debbugs.gnu.org
Subject: Re: Replace psi with psi-plus
Date: Fri, 17 Feb 2023 14:52:04 -0500

Pushed as 7eb3eec4dacc414a6680a97bc6ef38c1f76b947e
This bug report was last modified 2 years and 177 days ago.

Previous Next

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