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