The above patch is now incorporated in Debian version 1:3.2.5-alpha7-3. -- when exporting to ps/eps/pdf (+latex) whitespace at arrow tip https://launchpad.net/bugs/52738
-- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
