On Wed, Mar 18, 2009 at 08:29:32PM +0100, Paride Legovini wrote:
It has been already pointed out recently. Kris has promised to look into it (check the mailing list archive), I hope a fix will come soon.
Sorry, I've been busy. It's fixed in tip.
--
Kris Maglione
Simplicity is prerequisite for reliability.
--Edsger W. Dijkstra
