On 9 May 2012 at 14:54, Martin Maechler wrote: | We've released a patch release for 12.04, "hence" called 12.04-1, | a moment ago. Thanks, in Debian unstable now as 12.04-1-1. Dirk -- R/Finance 2012 Conference on May 11 and 12, 2012 at UIC in Chicago, IL See agenda, registration details and more at http://www.RinFinance.com