Dear everyone,Seeing as in the end this USE flag is not going anywhere in spite of Gentoo no longer providing PaX-capable kernel sources, could we please rename it (e.g. to 'pax-kernel') so that it no longer contains a disallowed character. I understand the main reason this hasn't been done yet is that we expected it might disappear altogether.
-- Marecki
