[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#583234: marked as done (RFP: jedit-plugins -- plugins for jEdit)

Your message dated Fri, 12 Aug 2016 09:56:21 +0000
with message-id <E1bY9CP-0001rX-KW@quantz.debian.org>
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 owner@bugs.debian.org
immediately.)


-- 
583234: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=583234
Debian Bug Tracking System
Contact owner@bugs.debian.org 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 ---
Reply to: