On Tue, Mar 12, 2019 at 11:41:22AM +0100, Andreas Tille wrote:
> Michael Crusoe has suggested a workaround[1].  What do you think about
> this?

In case there is no answer to this question I assume it is OK to
upload the workaround.  Hope you agree with this.

Kind regards

       Andreas.
 
 
> [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=912549#10

-- 
http://fam-tille.de

__
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.

Reply via email to