[DSE-Dev] Processed: Re: Bug#1070039: Bug#1070039: there's an unused module for window managers

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> close 1070039
Bug #1070039 [selinux-policy-default] should automatically handle allow_execmem for GNOME & KDE
Marked Bug as done
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1070039: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1070039
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems