Roberto Lublinerman has uploaded a new patch set (#2).
Change subject: Revert the automatic selection of sourceLevel.
......................................................................
Revert the automatic selection of sourceLevel.
There is a JDT bug (https://bugs.eclipse.org/bugs/show_bug.cgi?id=397462)
that only occurs when sourceLevel 7 that prevents the compilation
of code that is correct.
When that bug is fixed or patched in GWT we can revert.
Change-Id: I20b1e0206763179e6e8abcfe7ad4308487277e1d
---
M dev/core/src/com/google/gwt/dev/util/arg/SourceLevel.java
1 file changed, 6 insertions(+), 3 deletions(-)
--
To view, visit https://gwt-review.googlesource.com/3080
To unsubscribe, visit https://gwt-review.googlesource.com/settings
Gerrit-MessageType: newpatchset
Gerrit-Change-Id: I20b1e0206763179e6e8abcfe7ad4308487277e1d
Gerrit-PatchSet: 2
Gerrit-Project: gwt
Gerrit-Branch: master
Gerrit-Owner: Roberto Lublinerman <[email protected]>
--
http://groups.google.com/group/Google-Web-Toolkit-Contributors
---
You received this message because you are subscribed to the Google Groups "GWT Contributors" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
