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. Thanks, Mark
