** Bug watch added: Debian Bug tracker #375570 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=375570
** Also affects: gmsh (Debian) via http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=375570 Importance: Unknown Status: Unknown -- No .desktop and icon is not installed in /usr/share/pixmaps https://launchpad.net/bugs/48120 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
