ondrej-kvasnovsky/grails-vaadin-plugin — pull request #15 by antoniocaiazzo (2013-12-12 17:28:20+00:00)
Title: Updated to 7.1.9

Hi, I was in need of some fixes in the new release, so I forked and updated the vaadin version, as well as the plugin version.
Hope I didn't miss something.