Processed: gjdoc: changed severity of the JVM alternative problem

Debian Bug Tracking System owner@bugs.debian.org
Fri Apr 23 08:34:06 2004


Processing commands for control@bugs.debian.org:

> severity 245204 normal
Bug#245204: gjdoc does not allow for java alternatives?!
Severity set to `normal'.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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