From: guido@trentalancia.com (Guido Trentalancia)
Date: Sat, 16 Sep 2017 23:15:54 +0200
Subject: [refpolicy] [PATCH 0/2] set of high priority patches
Message-ID: <1505596554.13203.8.camel@trentalancia.com>
To: refpolicy@oss.tresys.com
List-Id: refpolicy.oss.tresys.com

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.