Processed: Re: Bug#898637: Pluma text editor crashes when scrolling while hovering over a tab

To: Mike Gabriel <mike.gabriel@das-netzwerkteam.de>
Cc: debian-mate@lists.debian.org
Subject: Processed: Re: Bug#898637: Pluma text editor crashes when scrolling while hovering over a tab
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Tue, 15 May 2018 07:51:04 +0000
Message-id: <[🔎] handler.s.B898637.15263706119637.transcript@bugs.debian.org>
References: <[🔎] 20180515075003.Horde.sZFGOvyxInkdsbl0CT4bviC@mail.das-netzwerkteam.de> <[🔎] f975907a-d0d7-ff8b-d161-aaf4e8736720@38.de>

Processing control commands:

> tags -1 moreinfo
Bug #898637 [pluma] Pluma text editor crashes when scrolling while hovering over a tab
Added tag(s) moreinfo.

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

Reply to:

References:
- Bug#898637: Pluma text editor crashes when scrolling while hovering over a tab
  - From: Mike Gabriel <mike.gabriel@das-netzwerkteam.de>
- Bug#898637: Pluma text editor crashes when scrolling while hovering over a tab
  - From: "C. Masloch" <pushbx@38.de>

Prev by Date: Bug#898637: Pluma text editor crashes when scrolling while hovering over a tab
Next by Date: Bug#898637: Pluma text editor crashes when scrolling while hovering over a tab
Previous by thread: Bug#898637: Pluma text editor crashes when scrolling while hovering over a tab
Next by thread: Bug#898637: Pluma text editor crashes when scrolling while hovering over a tab
Index(es):
- Date
- Thread