As I recall it, in the discusion I was asked to do this.
Perhaps the discussion took place on irc - I don't recall.
J'
On Thu, Sep 08, 2016 at 09:44:19PM -0400, Leo Famulari wrote:
On Thu, Sep 08, 2016 at 04:08:48PM +, John Darrington wrote:
> jmd pushed a commit to branch master
On Thu, Sep 08, 2016 at 04:08:48PM +, John Darrington wrote:
> jmd pushed a commit to branch master
> in repository guix.
>
> commit fdf14c64f1dc7526e84b7e0ce41bf99e5b31c3f8
> Author: John Darrington
> Date: Thu Sep 8 14:56:14 2016 +0200
>
> gnu: Add edit warning to generated grub.cfg
