El Fri, 25 Jul 2014 17:18:25 +0200, Eduardo Rios escribió: (...)
> Bueno, parece ser que ya ha quedado resuelto. La última versión de > gnome-terminal que tengo es la 3.12.3-1 actualizada del 29 de junio. > Desde entonces, seguía fallando, hasta hace unos días, entre el 18 de > julio y el 22, que se han actualizado bastantes paquetes de gnome, de la > versión 3.8 a la 3.12 > > Sin embargo, no sabría decir cual es el que lo soluciona... Ya te lo dije ;-P De todas formas, aunque el bug estaba marcado para "gnome-terminal" la corrección ha podido venir de cualquier otro paquete. Saludos, -- Camaleón -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
