On Thu, Sep 08, 2016 at 04:08:48PM +0000, John Darrington wrote:
> jmd pushed a commit to branch master
> in repository guix.
> 
> commit fdf14c64f1dc7526e84b7e0ce41bf99e5b31c3f8
> Author: John Darrington <jmd@gnu.org>
> Date:   Thu Sep 8 14:56:14 2016 +0200
> 
>     gnu: Add edit warning to generated grub.cfg files
>     
>     * gnu/services/grub.scm (grub-configuration-file): Add code to emit warning.

This seems like a useful change. But, was it discussed anywhere? I can't
find it in the mailing list archives.