Subject: [PATCH 01/12] bootloader: Remove unused 'additional-configuration' field.

From: Ludovic Courtès <[email-masked]>
Date: Thu, 21 Mar 2019 00:04:24 +0100

* gnu/bootloader.scm (<bootloader-configuration>)[additional-configuration]:
Remove.
---
 gnu/bootloader.scm | 2 --
 1 file changed, 2 deletions(-)

diff --git a/gnu/bootloader.scm b/gnu/bootloader.scm
index a32bf5ec67..5ae8ea3ee3 100644
--- a/gnu/bootloader.scm
+++ b/gnu/bootloader.scm
@@ -122,8 +122,6 @@
   (serial-unit                     bootloader-configuration-serial-unit      ; integer | #f
                                    (default #f))
   (serial-speed                    bootloader-configuration-serial-speed     ; integer | #f
-                                   (default #f))
-  (additional-configuration        bootloader-configuration-additional-configuration ; record
                                    (default #f)))
 
 
-- 
2.21.0