[Bug bootstrap/39968] Should plugins use shared library?

[ebotcazou at gcc dot gnu dot org]

-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |enhancement
           Priority|P1                          |P3


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