Remove release_notes.html; we don't use this file for anything.
Remove release_notes.html; we don't use this file for anything.

gwt-plugins/gwt-eclipse-plugin,briandealwis/gwt-eclipse-plugin,gwt-plugins/gwt-eclipse-plugin,briandealwis/gwt-eclipse-plugin,gwt-plugins/gwt-eclipse-plugin,briandealwis/gwt-eclipse-plugin