El Sun, 03 Nov 2013 12:10:46 +0100, Eduardo Rios escribió: > Bueno, que chafón me he llevado... > Hoy he visto que había actualización de gnome-terminal... y creía que > iba a estar resuelto el problema... pero no, a pesar de haberse > actualizado a la versión 3.10 sigue pasando. :(
(...) Normal, el bug #712104 sigue marcado como NO corregido. ¿Por qué no te añades al informe y les dices que sigue presente en la versión 3.10.1-1? Saludos, -- Camaleón -- To UNSUBSCRIBE, email to debian-user-spanish-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/pan.2013.11.03.16.19...@gmail.com
