Hi, FTR, the quota issue is indeed fixed:
$ sesearch -A -s quota_t -t kernel_t -c system Found 1 semantic av rules: allow quota_t kernel_t : system module_request ; The other is issues are still pending -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org