Hi all,Currently, figtree crashes on Ubuntu due to a simple bug [1]. I have opened a bug on launchpad some time ago but nobody has yet volunteered to integrate the debian version into ubuntu (and backport it to 18.04). Does someone on this mailinglist have the permissions and leisure to do so? I would be very grateful.
Best, Fabian 1: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=908039 2: https://bugs.launchpad.net/ubuntu/+source/figtree/+bug/1791894