Plugin updates for eclipse 3.7

[Thomas Gellekum]

On 11/02/11 16:58, Greg Lewis wrote:
> On Mon, Oct 31, 2011 at 01:27:19AM +0100, Dominic Fandrey wrote:
>> Is there a way to submit my plugin updates for 3.7, now and have
>> them committed together with 3.7?
>
> Just note that in the PR is the best way I can think of.
>
> It probably is about time to move the eclipse port over to 3.7.
>

The 3.7.1 source tarball is now available. I'll try to find some time 
next week to work on the upgrade.

tg