​Linux kernel network TCP bug fixed

The denial of service bug had actually been patched in the Linux kernel weeks before news of it was ever announced.