2017-09-16 21:15:54

by Guido Trentalancia

[permalink] [raw]
Subject: [refpolicy] [PATCH 0/2] set of high priority patches

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.