On Wed, 2011-02-09 at 21:07 +0100, Miro Kropáček wrote: > Hi, > > > this is a small patch reflecting Vincent's changes / findings. I think > we don't need this stuff anymore in mintlib. Done. Thanks. Alan.