Don’t worry, that one is probably safe. He doesn’t play silly games. If it is he’s already on top of a patch.