Has an RES fix for Opera 12.16 been made available, yet?

I know someone made an insecure patch, but it was deleted, and one of the RES guys said they'd make a more secure one. Has it been made available yet?