Processed: Re: Bug#283557: java-common: JAVA POLICY: define default JAVA_HOME=/usr/lib/java as alternative.

To: Arnaud Vandyck <avdyk@debian.org>
Cc: Debian Java Mailing List <debian-java@lists.debian.org>(java-common #283557)
Subject: Processed: Re: Bug#283557: java-common: JAVA POLICY: define default JAVA_HOME=/usr/lib/java as alternative.
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Tue, 07 Dec 2004 02:18:16 -0800
Message-id: <[🔎] handler.s.C.110241363617235.transcript@bugs.debian.org>
In-reply-to: <[🔎] 87d5xm77jl.fsf@oz.fapse.ulg.ac.be>
References: <[🔎] 87d5xm77jl.fsf@oz.fapse.ulg.ac.be>

Processing commands for control@bugs.debian.org:

> tags 283557 + wontfix
Bug#283557: java-common: JAVA POLICY: define default JAVA_HOME=/usr/lib/java as alternative.
Tags were: wontfix
Tags added: wontfix

> thanks
Stopping processing here.

Please contact me if you need assistance.

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

Reply to:

References:
- Bug#283557: java-common: JAVA POLICY: define default JAVA_HOME=/usr/lib/java as alternative.
  - From: Arnaud Vandyck <avdyk@debian.org>

Prev by Date: Bug#283557: java-common: JAVA POLICY: define default JAVA_HOME=/usr/lib/java as alternative.
Next by Date: Bug#283557: java-common: JAVA POLICY: define defaultJAVA_HOME=/usr/lib/java as alternative.
Previous by thread: Bug#283557: java-common: JAVA POLICY: define default JAVA_HOME=/usr/lib/java as alternative.
Next by thread: Bug#283557: java-common: JAVA POLICY: define defaultJAVA_HOME=/usr/lib/java as alternative.
Index(es):
- Date
- Thread