2017-09-16 21:15:54
by Guido Trentalancia
A set of two high priority but very simple patches follows. The first patch tackles gnome-shell, so that it can start properly, while the second one makes it possible to run Java Web Start from mozilla.