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