Excellent! I've just force-merged 627230 into 629235 which was another manifestation of this rendering problem and was marked fixed by the upload containing the commit you mention.
Thanks for mentioning this, it is appreciated.
Cheers,
--Barak.
--
Barak A. Pearlmutter
Hamilton Institute & Dept Comp Sci, NUI Maynooth, Co. Kildare, Ireland
http://www.bcl.hamilton.ie/~barak/
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
