Your message dated Mon, 01 Apr 2019 06:01:00 +0000
with message-id <[email protected]>
and subject line Re: jh_build initializes javac_opts with javadoc_opts, discard
javac options
has caused the Debian Bug report #925617,
regarding jh_build initializes javac_opts with javadoc_opts, discard javac
options
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 [email protected]
immediately.)
--
925617: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=925617
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: src:javatools
Version: 0.72.6
Severity: serious
Tags: sid buster patch
jh_build initializes javac_opts with javadoc_opts, discard javac options,
apparently a typo.
patch at
http://launchpadlibrarian.net/416705136/javatools_0.72.6_0.72.6ubuntu1.diff.gz
--- End Message ---
--- Begin Message ---
Source: javatools
Source-Version: 0.72.7
On Wed, 27 Mar 2019 17:41:13 +0100 Matthias Klose <[email protected]> wrote:
> Package: src:javatools
> Version: 0.72.6
> Severity: serious
> Tags: sid buster patch
>
> jh_build initializes javac_opts with javadoc_opts, discard javac options,
> apparently a typo.
>
> patch at
> http://launchpadlibrarian.net/416705136/javatools_0.72.6_0.72.6ubuntu1.diff.gz
>
>
>
Was fixed as a part of #924328.
Thanks,
~Niels
--- End Message ---
__
This is the maintainer address of Debian's Java team
<https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-java-maintainers>.
Please use
[email protected] for discussions and questions.
