Bug#841740: marked as done (systemd periodically kills gnome-terminal session)

[Debian Bug Tracking System]

Your message dated Fri, 16 Nov 2018 01:02:53 +0100
with message-id <24051bb6-7a1d-685a-0008-2f19d2e3d8ae at debian.org>
and subject line Re: systemd periodically kills gnome-terminal session
has caused the Debian Bug report #841740,
regarding systemd periodically kills gnome-terminal session
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner at bugs.debian.org
immediately.)


-- 
841740: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=841740
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
-------------- next part --------------
An embedded message was scrubbed...
From: luke <debian at rtps.co>
Subject: systemd periodically kills gnome-terminal session
Date: Sun, 23 Oct 2016 00:18:55 +0100
Size: 6843
URL: <http://alioth-lists.debian.net/pipermail/pkg-systemd-maintainers/attachments/20181116/94ac5b6b/attachment-0004.mht>
-------------- next part --------------
An embedded message was scrubbed...
From: Michael Biebl <biebl at debian.org>
Subject: Re: systemd periodically kills gnome-terminal session
Date: Fri, 16 Nov 2018 01:02:53 +0100
Size: 7498
URL: <http://alioth-lists.debian.net/pipermail/pkg-systemd-maintainers/attachments/20181116/94ac5b6b/attachment-0005.mht>