diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-05-09 08:39:13 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-05-09 12:11:36 +0200 |
commit | cae0725b809449dcdebc2d84cf997e051e689e06 (patch) | |
tree | 6b98df3587c3687b6999af246251f000c7178b30 /gnu/build | |
parent | fb98e430d4b8da58c0035726c2325699b0a3d763 (diff) | |
download | guix-patches-cae0725b809449dcdebc2d84cf997e051e689e06.tar guix-patches-cae0725b809449dcdebc2d84cf997e051e689e06.tar.gz |
bootloader: grub: Remove unneeded 'terminal_output'.
Fixes <https://bugs.gnu.org/35585>.
Reported by Florian Pelz <pelzflorian@pelzflorian.de>.
This statement was added in 8d058e7b1b1a409d3d9cc29c5650a98db4e78783 but
turned out to be unnecessary.
* gnu/bootloader/grub.scm (grub-configuration-file): Remove
'terminal_output' statement.
Diffstat (limited to 'gnu/build')
0 files changed, 0 insertions, 0 deletions