The bug appears only on stock devices which are commonly updated. OEMs provide their own lock screens which aren't vulnerable.

So in this case "patched" is pretty meaningful.