Re: [cp-patches] [patch] let gjavah accept -source 1.[567]

----- Original Message -----
> 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.
> 

Thanks.  Beat me to it :)

> Cheers,
> 
> Mark
> 
> 
> 

-- 
Andrew :)

Free Java Software Engineer
Red Hat, Inc. (http://www.redhat.com)

PGP Key: 248BDC07 (https://keys.indymedia.org/)
Fingerprint = EC5A 1F5E C0AD 1D15 8F1F  8F91 3B96 A578 248B DC07