Processing commands for cont...@bugs.debian.org: > close 878345 Bug #878345 [selinux-policy-default] avc denied read,open for NetworkManager Marked Bug as done > close 888967 Bug #888967 [selinux-policy-default] selinux-policy-default: Default policy breaks semanage tool Marked Bug as done > close 900186 Bug #900186 [selinux-policy-default] selinux-policy-default: opendkim can not access /usr/share/dns/root.key Marked Bug as done > close 933858 Bug #933858 [selinux-policy-default] selinux-policy-default: Selinux default policy does not change context sudo and su from a system administrator (sysadm_u) user account to root Marked Bug as done > close 959803 Bug #959803 [selinux-policy-default] selinux-policy-default: orca and the selinux-policy-default Marked Bug as done > close 728950 Bug #728950 [selinux-policy-default] selinux-policy-default: dhclient-script is not allowed to run external commands Marked Bug as done > close 758083 Bug #758083 [selinux-policy-default] selinux-policy-default: Installing openjdk-7-jre-headless fails with 'Native memory allocation (malloc) failed' if enforcing Marked Bug as done > close 860532 Bug #860532 [selinux-policy-default] selinux-policy-default: dnsmasq doesn't start in enforcing mode, config+pidfile errors Marked Bug as done > close 871704 Bug #871704 [selinux-policy-default] Labels of files in `/etc/init.d/` prevent systemd tools from working Marked Bug as done > close 890208 Bug #890208 [selinux-policy-default] selinux-policy-default: Debian Stretch SELinux enforcing causes systemd --user unit to fail Marked Bug as done > thanks Stopping processing here.
Please contact me if you need assistance. -- 728950: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=728950 758083: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=758083 860532: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=860532 871704: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=871704 878345: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=878345 888967: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=888967 890208: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=890208 900186: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=900186 933858: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=933858 959803: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=959803 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems