bug#39459: closed (Multiple terminal programs to choose from, not just the Gnome default)

[GNU bug Tracking System]

Your message dated Thu, 23 Apr 2020 16:39:08 +0200
with message-id <address@hidden>
and subject line close 39475, 39463, 39467
has caused the debbugs.gnu.org bug report #39459,
regarding Multiple terminal programs to choose from, not just the Gnome default
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
39459: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=39459
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: Multiple terminal programs to choose from, not just the Gnome default Date: Thu, 06 Feb 2020 19:37:59 +0000

After the installation of all the available desktop environments, in the default desktop environment (Gnome) there are multiple terminal programs to choose from, not just the Gnome default.

Scott

Sent with ProtonMail Secure Email.

--- End Message ---

--- Begin Message --- Subject: close 39475, 39463, 39467 Date: Thu, 23 Apr 2020 16:39:08 +0200 User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)

close 39475, 39463, 39467

this looks like a feature, not a bug.

-- 
Time sharing: The use of many people by the computer.

signature.asc
Description: PGP signature

--- End Message ---