On Wed, Nov 25, 2009 at 01:43:58AM +0100, Denys Vlasenko wrote:
> Try current git, I committed another fix.
> Survives continuous make clean; make -r -j8; loop.
That fixes it for me, too.
>>> Dan
--
http://www.MoveAnnouncer.com The web change of address service
Let webmasters know that your web site has moved