Re: Time to delete 0.11.2?

[Jan Lehnardt]

go for it :D

On 16 Jun 2011, at 02:33, Paul Davis wrote:

> Seems like no one cares about it anymore (anecdotally from IRC and ML
> traffic). Pretty sure we decided to do it during the dist cleanup.
> Anyone want to pull the trigger?