On Thu, Jul 7, 2016 at 9:41 AM, Carsten Ziegeler <[email protected]> wrote: > ...Fixing the javadoc for java 8 is not the nicest task in the world, but > you can usually do this fairly quickly....
I agree with that - the problem is that this pollutes diffs when comparing the code of a previous version of a module with a new release, which I often do. But that's life I guess... I'm ok for aiming to fix the javadocs, while being able to do releases with java 7 in the meantime. -Bertrand
