[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#41010] Upgrade Oil to 0.8.pre4
|
From: |
Leo Famulari |
|
Subject: |
[bug#41010] Upgrade Oil to 0.8.pre4 |
|
Date: |
Sat, 2 May 2020 15:16:22 -0400 |
On Sat, May 02, 2020 at 01:23:30AM +0200, Tobias Geerinckx-Rice via
Guix-patches via wrote:
> I agree with the name change, although I'm unaware of why ‘oil-shell’ was
> originally chosen.
No serious reason. I thought it was close the upstream name (it's the
GitHub organization name) and that 'oil' was a bit short for something
so obscure. Feel free to change it to 'oil' though.
signature.asc
Description: PGP signature
- [bug#41010] Rename & upgrade oil-shell, Ryan Prior, 2020/05/01
- [bug#41010] Upgrade Oil to 0.8.pre4, Ryan Prior, 2020/05/01
- [bug#41010] Upgrade Oil to 0.8.pre4, Tobias Geerinckx-Rice, 2020/05/01
- [bug#41010] Upgrade Oil to 0.8.pre4, Tobias Geerinckx-Rice, 2020/05/01
- [bug#41010] Upgrade Oil to 0.8.pre4, Ryan Prior, 2020/05/02
- [bug#41010] Upgrade Oil to 0.8.pre4, Ryan Prior, 2020/05/15
- [bug#41010] Upgrade Oil to 0.8.pre4, Tobias Geerinckx-Rice, 2020/05/15
- [bug#41010] Upgrade Oil to 0.8.pre4, Tobias Geerinckx-Rice, 2020/05/16
- [bug#41010] Upgrade Oil to 0.8.pre4, Ryan Prior, 2020/05/17
- [bug#41010] Upgrade Oil to 0.8.pre4,
Leo Famulari <=
[bug#41010] [PATCH 0/1] Updated patch for 0.8.pre5, Ryan Prior, 2020/05/28