La versión 3254 resolvió algunos problemas descubiertos poco después de que se lanzara la versión 3251.