On Thu, 9 Aug 2018 at 15:57, Tobias Klauser <tklauser@xxxxxxxxxx> wrote: > > On 2018-08-09 at 15:50:41 +0200, Michael Kerrisk (man-pages) <mtk.manpages@xxxxxxxxx> wrote: > > Hello Tobias, > > > > On 8 August 2018 at 12:06, Tobias Klauser <tklauser@xxxxxxxxxx> wrote: > > > JIT support for x86-32 was during the Linux 4.18 release cycle. Also > > > correct the entry for MIPS (only MIPS64 is supported) and the source for > > > the list. > > > > Thanks for this. I'm fine with it all, except changing the source. > > Your idea is to take whatever is said in the Doc file as the source, > > but that relies on that file being correctly up to date. I prefer to > > keep the documented source as is. (It may not be perfect, but it does > > give some independent verification of the actual state of the various > > architectures.) > > Right, I wasn't considering this and I completely agree. > > > Patch applied, but tweaked as I note above, to maintain mention of my > > source, and add mention of your source.. > > Thanks for fixing it. One very minor thing I noticed in your fix is that > you reverted the Linux version on which the information is based from > 4.18-rc (which was true for my patch) to 4.16-rc (which was the version > before my patch). D'oh! Fixed now. Thanks, Michael -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
