[stefan_]

The other side is that the moment a patch is released, people will diff it to the previous version making it much more likely this issue is found by a lot of independent people who might seek to exploit it.

[throwaway2048]

The patch was released months ago