On 11/15/2012 12:17 PM, Will Newton wrote: > I believe that 2.23 was never officially packaged so it is probably > better to remove it. It's in official GNU mirrors, i'd say it has been. Doesn't mean we should keep it though. Regards.