On Sun, 19 Nov 2017 21:08:11 -0800 Randy Dunlap <rdun...@infradead.org> wrote:
> From: Randy Dunlap <rdun...@infradead.org> > > 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 -- To unsubscribe from this list: send the line "unsubscribe linux-doc" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
