Processed: Re: JEdit in Debian

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> unarchive 136535
Bug #136535 {Done: Andreas Barth <aba@not.so.argh.org>} [wnpp] ITP: jedit -- enhanced text editor for programmers
Unarchived Bug 136535
> reopen 136535
Bug #136535 {Done: Andreas Barth <aba@not.so.argh.org>} [wnpp] ITP: jedit -- enhanced text editor for programmers
> submitter 136535 carlo.stemberger@gmail.com
Bug #136535 [wnpp] ITP: jedit -- enhanced text editor for programmers
Changed Bug submitter to 'carlo.stemberger@gmail.com' from '"David H. Askew" <dhaskew@arches.uga.edu>'
> retitle 136535 RFP: jedit -- enhanced text editor for programmers
Bug #136535 [wnpp] ITP: jedit -- enhanced text editor for programmers
Changed Bug title to 'RFP: jedit -- enhanced text editor for programmers' from 'ITP: jedit -- enhanced text editor for programmers'
> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)