Google fixes KRACK vulnerability in Android

The KRACK vulnerability is said to be "exceptionally devastating" for Android users.