Processed: Re: Bug#780005: mate-terminal: reset option does not reset colors to defaults

To: mike.gabriel@das-netzwerkteam.de
Cc: debian-mate@lists.debian.org, debian-bugs-closed@lists.debian.org
Subject: Processed: Re: Bug#780005: mate-terminal: reset option does not reset colors to defaults
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Fri, 16 Feb 2018 06:09:04 +0000
Message-id: <[🔎] handler.s.B780005.151876112113630.transcript@bugs.debian.org>
References: <[🔎] 20180216070512.Horde.ltC3RP1SdNnFSLct2t6e3D0@mail.das-netzwerkteam.de> <20150308000035.GA630778@vauxhall.crustytoothpaste.net>

Processing control commands:

> fixed -1 1.20.0-1
Bug #780005 [mate-terminal] mate-terminal: reset option does not reset colors to defaults
Marked as fixed in versions mate-terminal/1.20.0-1.
> close -1
Bug #780005 [mate-terminal] mate-terminal: reset option does not reset colors to defaults
Marked Bug as done

-- 
780005: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=780005
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#780005: mate-terminal: reset option does not reset colors to defaults
  - From: mike.gabriel@das-netzwerkteam.de

Prev by Date: Accepted mate-tweak 18.04.10-1 (source) into unstable
Next by Date: Bug#780005: mate-terminal: reset option does not reset colors to defaults
Previous by thread: Bug#780005: mate-terminal: reset option does not reset colors to defaults
Next by thread: Bug#890603: new version generates high load
Index(es):
- Date
- Thread