guix-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#26339: [PATCH 10/18] system: Rename kernel->grub-label to kernel->bo


From: Danny Milosavljevic
Subject: bug#26339: [PATCH 10/18] system: Rename kernel->grub-label to kernel->boot-label.
Date: Sat, 15 Apr 2017 12:40:38 +0200

Pushed this patch to master as c2e9942b8fc8918c3e1d9612f99bea06be9ff81d.





reply via email to

[Prev in Thread] Current Thread [Next in Thread]