Andy Pilate

The bug you linked describe a freeze of Minecraft when resizing. Here, it's the kernel who crash. Not only Minecraft.