Hi,when looking at http://www.kernel.org/, kernel 3.4.7 is shown as thelatest stable kernel, and 3.6-rc1 as the latest mainline kernel. The3.5 version is not mentioned. Why is the latest stable kernel somethingolder than 3.5?Regards,Tino