RedHat didn't patch anything neither, it doesn't matter.
It does matter when it comes to which OS I would prefer running.