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 debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
