Re: Time to delete 0.11.2?

[Paul Davis]

> I think it is mentioned in the housekeeping section.
>

I would consider this Robert Newson forgetting it during the 1.1.x
houskeeping section in which case its overdue.