RE: [Vote] Removing Woody

[Matthew Langham]

> 
> As you may saw I've reverted the removal of Woody. IMO just for now and 

Thanks for all your work Reinhard!

> 
>  variant A: remove Woody after 2.1.5 release
>  

+1

And post blinking signs everywhere that this will happen :-)

Matthew