Re: [PATCH] Documentation: fix profile= options in kernel-parameters.txt
From: Jonathan Corbet
Date: Mon Nov 20 2017 - 13:06:34 EST
On Sun, 19 Nov 2017 21:08:11 -0800
Randy Dunlap <rdunlap@xxxxxxxxxxxxx> wrote:
> From: Randy Dunlap <rdunlap@xxxxxxxxxxxxx>
>
> Correctly the formatting of several additions to the profile= option
> that have been added by using <profiletype> and listing the choices
> for it.
Applied, thanks.
jon