GNU bug report logs - #41010
Rename & upgrade oil-shell

Previous Next

Package: guix-patches;

Reported by: Ryan Prior <rprior <at> protonmail.com>

Date: Fri, 1 May 2020 20:23:01 UTC

Severity: normal

Done: Tobias Geerinckx-Rice <me <at> tobias.gr>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Ryan Prior <rprior <at> protonmail.com>
To: "41010 <at> debbugs.gnu.org" <41010 <at> debbugs.gnu.org>
Subject: [bug#41010] Upgrade Oil to 0.8.pre4
Date: Fri, 15 May 2020 17:10:37 +0000

Ryan Prior <rprior <at> protonmail.com> writes:

> Tobias, thank you for the quick and thorough review! I've attached updated patches.

Any thoughts on this updated patch would be welcome if there are still
issues to be address before merging!

Thanks,
Ryan
This bug report was last modified 5 years and 51 days ago.

Previous Next

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