Bug#902349: marked as done (Package "redeclipse" in stable/main seems to be proprietary)

[Debian Bug Tracking System]

Your message dated Mon, 25 Jun 2018 14:15:22 +0200
with message-id <e55be4bb5b0f3364cd8862f45d93ddd3 at debian.org>
and subject line Re: Bug#902349: Package "redeclipse" in stable/main seems to be proprietary
has caused the Debian Bug report #902349,
regarding Package "redeclipse" in stable/main seems to be proprietary
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.)


-- 
902349: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=902349
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
-------------- next part --------------
An embedded message was scrubbed...
From: Sascha Mester <sascha.mester at gmx.de>
Subject: Package "redeclipse" in stable/main seems to be proprietary
Date: Mon, 25 Jun 2018 13:36:49 +0200
Size: 87125
URL: <http://alioth-lists.debian.net/pipermail/pkg-gnome-maintainers/attachments/20180625/3afb8821/attachment-0002.mht>
-------------- next part --------------
An embedded message was scrubbed...
From: Stephen Kitt <skitt at debian.org>
Subject: Re: Bug#902349: Package "redeclipse" in stable/main seems to be proprietary
Date: Mon, 25 Jun 2018 14:15:22 +0200
Size: 3214
URL: <http://alioth-lists.debian.net/pipermail/pkg-gnome-maintainers/attachments/20180625/3afb8821/attachment-0003.mht>