On Mon, 2013-01-07 at 09:54 +0100, Mark Wielaard wrote:
> On Sun, 2013-01-06 at 18:00 +0100, Matthias Klose wrote:
> > Am 19.12.2012 18:37, schrieb Mark Wielaard:
> > > If you really meant gjdoc I think it would be OK to try to accept it,
> > > but maybe with a warning message that it is untested?
> > 
> > yes, I meant gjdoc. Here is an updated patch.
> > 
> >   Matthias
> > 
> >     * tools/gnu/classpath/tools/gjdoc/Main.java: Accept -source 1.5, 1.6, 
> > 1.7.
> 
> That looks reasonable to me.

As requested on irc, I have pushed this patch to the git repo for
Matthias.

Cheers,

Mark


Reply via email to