diff options
author | Jason Zaman <perfinion@gentoo.org> | 2019-08-18 18:18:59 +0800 |
---|---|---|
committer | Jason Zaman <perfinion@gentoo.org> | 2019-08-18 18:18:59 +0800 |
commit | 8ee8979239fc9073fa0cf265db7b7693d5c6e03e (patch) | |
tree | 15e7af13d3556404560f7310f1a7cbc263d487d1 /gentoo | |
parent | ulogd: Rename ulogd_var_run_t to ulogd_runtime_t. (diff) | |
download | hardened-refpolicy-8ee8979239fc9073fa0cf265db7b7693d5c6e03e.tar.gz hardened-refpolicy-8ee8979239fc9073fa0cf265db7b7693d5c6e03e.tar.bz2 hardened-refpolicy-8ee8979239fc9073fa0cf265db7b7693d5c6e03e.zip |
Merge upstream
Signed-off-by: Jason Zaman <perfinion@gentoo.org>
Diffstat (limited to 'gentoo')
-rw-r--r-- | gentoo/STATE | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gentoo/STATE b/gentoo/STATE index 477aa765d..0cc2fd8ea 100644 --- a/gentoo/STATE +++ b/gentoo/STATE @@ -1 +1 @@ -master b85c93b5827ce0b832745a38d5cb995f548eb041 +master 230262368b3afcb25f7dcbc03c9d040cd2b6fbbb |