bug#33806: [PATCH] system: 'kernel->boot-label' now accepts inferior packages.

[Ludovic Courtès]

Hi,

<address@hidden> skribis:

> From 0e86c0708f3aa0eb35a9fc3c9ef89dcb210bac3f Mon Sep 17 00:00:00 2001
> From: Pkill -9 <address@hidden>
> Date: Wed, 19 Dec 2018 20:22:20 +0000
> Subject: [PATCH] system: 'kernel->boot-label' now accepts inferior packages.
>
> * gnu/system.scm (kernel->boot-label): Get package name and version
> using the functions for inferior packages if the kernel is an
> inferior package. Return "GNU" if the kernel is not a package.

I adjusted the indentation and applied.  Thank you!

Ludo’.