I already posted that question in the corresponding Google Group, but then I saw that questions should rather be asked here.
So I would like to know if a release 2.5.1 of the Google Plugin for Eclipse is planned and if so, when can we expect it ?
Thank you, Joe.
OK well, it appears the version is already installable via http://dl.google.com/eclipse/plugin/4.2
More info on the Google group.