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 ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs