What do you think? Seems clear to me, but I forwarded the message to Jerome (Laurens). As the synctex author, he's the one who should be in the loop :). I will report back if he replies to me.
Thanks, karl -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
