Hello, Could someone check if GNU/Hurd is affected by bug #631968 in gnome-terminal? Thanks! -- Robert Millan