|
| From: | Ludovic Courtès |
| Subject: | [bug#41541] [PATCH 4/8] bootloader: grub: Add support for multiboot. |
| Date: | Sat, 06 Jun 2020 12:57:12 +0200 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) |
"Jan (janneke) Nieuwenhuizen" <janneke@gnu.org> skribis: > * gnu/bootloader/grub.scm (grub-configuration-file): Add support for > multiboot. [...] > - #:export (menu-entry > + #:export (<menu-entry> Please don’t do that. In general we shouldn’t export record-type descriptors as it breaks encapsulation.
| [Prev in Thread] | Current Thread | [Next in Thread] |