And as a nit pick: While searching for the reason for the problem I noticed that @GWT_SVNREV@ has been changed to @GWT_GITREV@ in https://gwt.googlesource.com/gwt/+/05c7aeb80335bb834659176989d0d984b01da2c8
But the files distro-source/core/src/ about.html about.txt have not been updated to @GWT_GITREV@. -- J. -- 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 google-web-toolkit-contributors+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
