Reinhard Pötz wrote:

>
> As you may saw I've reverted the removal of Woody. IMO just for now 
> and it should be removed ASAP. So let's vote on this:
>
>
> variant A: remove Woody after 2.1.5 release
>
> variant B: remove Woody after 2.1.6 release
>
> variant C: leave Woody where it is and mark it as "won't change"
>
>
> Your votes please!
>
I'm +1 on A, +0.5 on B and -1 on C
(there is an upgrade script available which has of course to be tested 
but sooner or later it will do the upgrade for our users!)

-- 
Reinhard