All you alternative OS types out there will be happy to know Linux 4.0 has been released.
So I decided to release 4.0 as per the normal schedule, because therereally weren't any known issues, and while I'll be traveling duringthe end of the upcoming week due to a college visit, I'm hoping thatwon't affect the merge window very much. We'll see.