------- Comment #1 from steven at gcc dot gnu dot org  2010-05-10 12:51 -------
+1 for the idea of a new "plugin" category.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44056

Reply via email to