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 +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.



-- 
Avoid eavesdropping.  Send strong encrypted email.
PGP Public key ID: 1024D/2DE827B3 
fingerprint = 8797 A26D 0854 2EAB 0285  A290 8A67 719C 2DE8 27B3
See http://sks-keyservers.net or any PGP keyserver for public key.