Re: [PATCH] java: allow both dist_JAVA and nodist_JAVA in the same Makefile.am

[Ralf Wildenhues]

Hello Stefano,

* Stefano Lattarini wrote on Mon, Apr 18, 2011 at 09:35:52PM CEST:
> I'll push in 72 hours if there is no objection.

I expect to be able for some review on Friday, maybe on Thursday after
that, and then hopefully on March 3.  There might be occasions in
between, but if you want to give me a realistic chance for review, 72
hours are not going to suffice during the next two weeks as I might be
without net access for longer than that.  I don't want to keep you from
making changes, but with stuff that should be reviewed, you might want
to increase the timeout somewhat.

Thanks,
Ralf