Processed: Re: Bug#385257: No matching plugin was found

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> severity 385257 wishlist
Bug#385257: No matching plugin was found
Severity set to `wishlist' from `important'

> retitle 385257 make-jpkg could detect EE Java and display helpful error text
Bug#385257: No matching plugin was found
Changed Bug title.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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