Your message dated Fri, 12 Aug 2016 09:56:21 +0000
with message-id <[email protected]>
and subject line closing RFP: jedit-plugins -- plugins for jEdit
has caused the Debian Bug report #583234,
regarding RFP: jedit-plugins -- plugins for jEdit
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 [email protected]
immediately.)
--
583234: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=583234
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
* Package name : jedit-plugins
Version : 4.3.1
Upstream Author : various
* URL : http://plugins.jedit.org/
* License : GPL or GPL-compatible
Programming Lang: Java
Description : plugins for jEdit
This package is a collection of plugins for jEdit.
--- End Message ---
--- Begin Message ---
RFP 583234 has no visible progress for a long time, so closing.
--- End Message ---
