diff options
author | Jason Zaman <jason@perfinion.com> | 2018-06-25 13:32:58 +0800 |
---|---|---|
committer | Jason Zaman <jason@perfinion.com> | 2018-06-25 13:32:58 +0800 |
commit | ef5d8e483527e6a3c30f24ec5d16b12999285860 (patch) | |
tree | 2875c77c3b56a5b2974e5c2b480960c6af25b8ef /gentoo | |
parent | xdg, xserver, mplayer, games: Module version bump. (diff) | |
download | hardened-refpolicy-ef5d8e483527e6a3c30f24ec5d16b12999285860.tar.gz hardened-refpolicy-ef5d8e483527e6a3c30f24ec5d16b12999285860.tar.bz2 hardened-refpolicy-ef5d8e483527e6a3c30f24ec5d16b12999285860.zip |
Merge upstream
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 07bdbbee..663de1b4 100644 --- a/gentoo/STATE +++ b/gentoo/STATE @@ -1 +1 @@ -master a6313231d6c6c3ed60382054509a117e7c2a5ad4 +master 87b0512036031d25912a42f994b43d5f319c5604 |