[danielvf]

In this case they had publicly posted the bug fix on GitHub hours before the attack.