Subject: [bug#41010] Upgrade Oil to 0.8.pre4

From: Leo Famulari <[email-masked]>
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.