bootloader: grub: Remove unneeded 'terminal_output'.
commitcae0725b809449dcdebc2d84cf997e051e689e06
authorLudovic Courtès <ludo@gnu.org>
Thu, 9 May 2019 06:39:13 +0000 (9 08:39 +0200)
committerLudovic Courtès <ludo@gnu.org>
Thu, 9 May 2019 10:11:36 +0000 (9 12:11 +0200)
tree6b98df3587c3687b6999af246251f000c7178b30
parentfb98e430d4b8da58c0035726c2325699b0a3d763
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.
gnu/bootloader/grub.scm