Your message dated Sun, 18 Sep 2011 20:55:18 +0200
with message-id <201109182055.19670.stefano.lattarini@gmail.com>
and subject line Re: bug#8434: New public branch "java-work" (was: Re: [PATCH] java: allow both dist_JAVA and nodist_JAVA in the same Makefile.am)
has caused the debbugs.gnu.org bug report #8434,
regarding java: cannot use JAVA with both dist_ and nodist_ prefixes
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
8434: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8434
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems